Improve a working “Bulgarian Solitaire” J verb
How to construct literals in SAT solvers
Answer Set Programming #Count cardinality constraint
MathProg max() function complains about wrong arguments
Output of solve in maxima and sage have x on both side
Maxima: Why does solve return nothing
How does the SAT solver produce the model(assignment[s])?
Isabelle solvers: “auto” or “fastforce”? (comparison of solver strength)
What's the difference between “arith” and “presburger” in Isabelle?
Solving equations with an associative and commutative operator
Static/Quasi-Static solver in Dymola/Modelica?
Microsoft Solver Foundation multithreading in c#
How can I use rules suggested by solve_direct? (by (rule …) doesn't always work)
Solver for sparse linearly-constrained non-linear least-squares
Use ceiling function in solver foundation goal?
Microsoft Solver Foundation for semi-integer