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
/
rust
/
fznso
/
src
1 folder
·
6 files
at
main
Jip J. Dekker
·
feat: add explicit types for decision variables
·
2mo ago
7950fff0
model
feat: add explicit types for decision variables
2mo ago
lib.rs
feat: add explicit types for decision variables
2mo ago
library.rs
feat: solver discovery in Python and versioning documentation
2mo ago
model.rs
feat: add explicit types for decision variables
2mo ago
solution.rs
fix: resolve issues pointed out by LLM review
3mo ago
solver.rs
feat: add `should_stop` argument to `fznso_NAME_solver_run`
2mo ago
value.rs
feat: further Rust interface and some ABI definition fine-tuning
3mo ago