alpha
Login
Join now
dekker.one
/
FZnSO
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
FZnSO
/
cpp
/
tests
6 files
at
main
Jip J. Dekker
·
feat: add explicit types for decision variables
·
2mo ago
7950fff0
example_solver.cpp
feat: add explicit types for decision variables
2mo ago
test_abi_version.cpp
feat: add ABI versioning
2mo ago
test_consumer.cpp
feat: add explicit types for decision variables
2mo ago
test_exceptions.cpp
feat: initial C++ interface
2mo ago
test_value_source.cpp
feat: add explicit types for decision variables
2mo ago
throwing_solver.cpp
feat: add `should_stop` argument to `fznso_NAME_solver_run`
2mo ago