Tools

We have developed the following tools:

q-Horn formula checker and z-Horn formula checker

• Developers: Gábor Kusper
• Current version: 1.1, 02.03.2021
• Download: q-Horn_and_z-Horn_Checker.v.1.1.zip

The BWConverter Toolchain: An Incomplete Way to Convert SAT Problems into Directed Graphs

• Developers: Tamás Balla, Gábor Kusper
• Current version: 1.0, 15.01.2019
• Download: BWConverter.zip

EKE SAT problem classifier with neural network using .NET

• Developers: Márk Danisovszky
• Current version: 1.0, 15.01.2019
• Download: SAT-CLASSIFIER.rar

CNFStats, a DIMACS statistics generator which can feed neural networks dealing with SAT problems

• Developers: Gábor Kusper
• Current version: 1.0, 15.01.2019
• Download: CnfStats.java

LoGiKeR, Automated Theorem Prover, Hungarian version

• Developers: Róbert Kerényi
• Current version: 1.0, 20.05.2019
• Download: LoGiKeR.zip

CSFLOC SAT Solver, Java versions

• Developers: Gábor Kusper, Csaba Biró
• Latest version: v19.0, 30.08.2020
• Download: v19.0, v18.0, v11.0, v10.0Simplified, v10.0, v8.0, v6.0.

Optimal CCC SAT Solver, ANSI C version

• Developers: Gábor Kusper, Csaba Biró
• Current version: 1.0, 20.12.2017
• Download: opt_ccc.c

CCC SAT Solver, Java version

• Developers: Gábor Kusper, Csaba Biró
• Current version: 1.0, 17.08.2014
• Download: CCCv1.0.zip

WnDGen - Weakly Nondecisive SAT Problem Generator

• Developers: Gábor Kusper, Csaba Biró, Tibor Tajti
• Current version: 2.0, 07.01.2013
• Download: WnDGen2.zip

Previous versions

WnDGen - Weakly Nondecisive SAT Problem Generator

• Developers: Gábor Kusper, Csaba Biró, Tibor Tajti
• Version: 1.0, 29.05.2012
• Download: wndgen.zip