TKSatGenGenerates instances of the satisfiability problem | |
Download |
TKSatGen Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Thorsten
- Publisher web site:
- Operating Systems:
- Mac OS X
- File Size:
- 78 KB
TKSatGen Tags
TKSatGen Description
Generates instances of the satisfiability problem TKSatGen is a free and open source application that can generate relatively hard instances of the satisfiability problem. Requirements: · Java 1.6 or later What's New in This Release: · This is the first Version
TKSatGen Related Software