https://gitlab.ow2.org/sat4j/sat4j.git
History
Tip revision: 40db9f0187a75c1a7d1c9ca339844b0edec9a575 authored by leberre on 11 November 2010, 15:40:05 UTC
Added a static method to access the default solver.
Tip revision: 40db9f0

README

back to top