Research Software
This part contains links to some research software.
GitHub
More recently developed software can be found at https://github.com/arminbiere.
JKU
Older JKU software is available at http://fmv.jku.at/software.
IsaSAT
For IsaSAT, please refer to https://m-fleury.github.io/isasat/isasat-release/.
Teaching Software
This part contains links to some tools that have been developed by students for teaching purposes.
RISC-V and Pipelining Visualization
This visualization was developed by Tim Gaisbauer and Marius Henrich as part of their project. It is a tool to visualize the pipelining stages and hazards of a RISC-V processor.
D-Algorithm
This D-Algorithm project was developed by Benny Wennberg as part of his bachelor project. It is a tool to visualize the D-Algorithm by Roth to find suitable tests for stuck at faults in digital circuits.
GRS Bits
This grs-bits project (in German) was developed by Robin Trüby as part of his bachelor thesis. It is a tool to visualize how GRS bits work (used in arithmetic circuits to calculate floating-point results with enough precision without increasing the size of the circuits too much).
LimBoole
This https://maximaximal.github.io/limboole/ developed by Maximilian Heisinger is a simple tool for checking satisfiability respectively tautology on arbitrary structural formulas, and not just satisfiability for formulas. It has a more user friendly input format than CNF and is a perfect supplement for an introductory course in logic.