(aside image)

SAT Tools — A Tool Collection for Boolean Satisfiability

This page collects software that have been developed for Boolean Satisfiability (SAT) purposes by the Computational Logic Group at the CS Department of Aalto SCI. Some binaries are available for download.



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