Completed projects

From International Center for Computational Logic
Toggle side column

Completed projects

Coprocessor
Formula simplifier for CNF, QBF, MaxSAT and MUS formulas

Riss
SAT Solver -- a programm that solves the satisfiability testing problem