- If you are only familiar with imperative or object-oriented languages choose Koalog.
- If you are familiar with Prolog choose SICStus Prolog.
- If you'd rather program in a functional programming language choose FaCiLe.
Whichever solver you choose, there is not a fundamental difference in how you use them to actually solve the problems. However, SICStus Prolog
provides some features that the other two lack and is better documented than Koalog. FaCiLe provides the least number of constraints but
still has some features that Koalog lacks.