gyankos / Reducer Public

A SAT-Solver for the DECLAREd Fragment

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
.github/workflows		.github/workflows
competitors		competitors
generator		generator
include		include
src		src
submodules		submodules
tests		tests
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
README.md		README.md
all_benchmark.sh		all_benchmark.sh
gpl-3.0.txt		gpl-3.0.txt
install_dependencies_competitor.sh		install_dependencies_competitor.sh
knobab.csv		knobab.csv
knobab_sh.sh		knobab_sh.sh
main.cpp		main.cpp
tests.cpp		tests.cpp
to_automaton.cpp		to_automaton.cpp

Provide feedback

Saved searches