Top Answers

1. How to express a disjunction of inequalities compactly without redundant answers/solutions
   8 votes
2. How to express a disjunction of inequalities compactly without redundant answers/solutions
   5 votes
3. How to load 32 bit constant to a register without using LUI
   4 votes
4. How to implement the Fibonacci sequence in successor arithmetics for all argument modes?
   4 votes
5. Expressing numerical constraints using Prolog without CLP(FD)
   4 votes