J-TREA simple Java based SAT solver | |
Download |
J-TRE Ranking & Summary
Advertisement
- License:
- GPL
- Publisher Name:
- Richard de Benedictis
- Publisher web site:
- http://code.google.com/u/ricdebenedictis@gmail.com/
- Operating Systems:
- Mac OS X
- File Size:
- 254 KB
J-TRE Tags
J-TRE Description
J-TRE is a simple and minimalistic Java implementation of MiniSat, an extensible SAT solver. J-TRE is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).
J-TRE Related Software