a1880

Axel Kemper's starred repositories

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

Language:C++NOASSERTION6400

A Windows Forms control, wrapper, and bindings for the Scintilla text editor.

Language:C#MIT96300

Language:CMIT41400

Challenging SAT benchmarks for matrix multiplication

Language:C800

The MiniZinc IDE

Language:C++MPL-2.013800

The MiniZinc compiler

Language:C++NOASSERTION49000

small MiniZinc examples demonstrating various language features

MIT11900

Software related to PhD Thesis "Extending SAT Solver with Parity Reasoning"

Language:C++GPL-3.0300

An advanced SAT solver

Language:C++NOASSERTION80200