JoD

jodevriendt.com nonfictionsoftware.com gitlab.com/JoD/exact https://www.kuleuven.be/wieiswie/nl/person/00059879

University of Leuven / Nonfiction Software

Pinned Repositories

antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Language:Java17.2k 371 2.3k3.3k
dev
Development repository for the CodeMirror editor project
Language:JavaScript5.9k 74 1.4k374
cpmpy
Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
Language:Python226 9 25124
acutest
Simple header-only C/C++ unit testing facility.
Language:C++0 2 00
experiments_PBplusLP
Language:C++0 2 00
explain-benchmarks
Benchmarks constructed when researching explanations for CP solvers
Language:Python0 1 00
jurix
Language:TeX0 2 00
minisat-SPFS
A minimalistic and high-performance SAT solver implementing Symmetry Propagation
Language:C++3 4 02
breakid
BreakID, a CNF symmetry-breaking library and tool
Language:C++4 11 11
VeriPB
Verifier for pseudo-Boolean proofs
Language:C++12 7 311

JoD's Repositories

JoD/minisat-SPFS
A minimalistic and high-performance SAT solver implementing Symmetry Propagation
Language:C++3 4 02
JoD/acutest
Simple header-only C/C++ unit testing facility.
Language:C++0 2 00
JoD/experiments_PBplusLP
Language:C++0 2 00
JoD/explain-benchmarks
Benchmarks constructed when researching explanations for CP solvers
Language:Python0 1 00
JoD/jurix
Language:TeX0 2 00