Download SAT Tools

Disclaimer

The software below is provided on "as is" basis, without warranties of any kind or fitness for a particular purpose.

Copyright

The authorship of programs rests on Tomi Janhunen (for satgrnd), on Jussi Rintanen (for acycglucose and acycminisat), and on Shahab Tasharrofi (for owbo-acycglucose). You may freely use this software for academic and research purposes but not redistribute it. Related publications for citation are listed under the pages of respective tools.

Linux Binaries

Individual statically linked programs (ELF 64-bit LSB executables, for x86-64, GNU/Linux 2.6.24):

• acycglucose (v. 3.0)
• acycminisat (v. 2.2)
• owbo-acycglucose (v. R739)
• satgrnd (v. 1.21)
• sat-to-sat (v. R1068)
• so2grounder (v. R1068)

For further inquiries about these tools, please contact Tomi Janhunen.