https://gitlab.ow2.org/sat4j/sat4j.git
History
Tip revision: a7da92b3d9dc7a9cf832dc18a266ba7025f7588a authored by daniel on 09 May 2010, 19:56:12 UTC
Now register blocking clauses, else those clauses will be forgotten after restarting.
Tip revision: a7da92b

README

back to top