A solver for constraint satisfaction and constrained optimisation problems.
Lars Kotthoff
August 5, 2009 12:01am
N/A