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.
Cache (LRU) Visualization
This visualization was developped by Mirai Matsuura as part of her Master Project. It is a teaching tool to visualize the state of the cache (using an LRU eviction scheme).
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.