Advanced - Powered by Google
SAT solver with a full featured command line interface for playing with the various configurations available in SAT4J. Provides a convenient all-in-one package sat4j-sat.jar for easy testing.
Copyright © 1999-2008, OW2 Consortium | contact | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials