Advanced - Powered by Google
This is just the same code as sat4j core with the MUS launcher instead of the classical SAT launcher.
This is a snapshot of release 2.2.3 with heavy changes in the xplain part.
Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials