Beast code in Giters

Felix Kutzner's repositories

A fast, clean IPASIR SAT solver

Language:C++NOASSERTION8 50

A lightweight CNF SAT constraint encoder library

Language:PythonNOASSERTION5 30

A collection of commonly useful CMake functions for C and C++ projects

Language:CMake3 20

A random testing tool for IPASIR SAT solvers

Language:C++NOASSERTION1 20

000

A friendly branch of Glucose 3 (taken from http://www.labri.fr/perso/lsimon/glucose/)

Language:C++NOASSERTION010

Dimacs CNF utilities

Language:C++010

An advanced SAT solver

Language:C++NOASSERTION010

The DRAT-trim proof checker

Language:CMIT010

Language:C++NOASSERTION000

MIT000

Lingeling SAT Solver fork with CMake build

Language:CMIT000

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION000

A C++ pointer type with storage space for information filling.

Language:C++MIT010

Simple Theorem Prover.

Language:CNOASSERTION010