Description: This is a good SAT resolver. Through it, we can determine whether the SAT problem to solve, and in the case of solvability can find solutions
To Search:
- [games-1.6.10.tar] - minigui 1.6.10 game programming examples
- [index] - The contents of the documents indexed, i
File list (Check if you may need any files):
47651495zchaff.2004.5.13.tar
Download