dekker.one / FZnSO
Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects
Star
Fork 0
Watch

Commits on main

feat: add explicit types for decision variables main
Jip J. Dekker committed
feat: solver discovery in Python and versioning documentation
Jip J. Dekker committed
docs: make the documentation slightly more precise
Jip J. Dekker committed
feat: add `should_stop` argument to `fznso_NAME_solver_run`
Jip J. Dekker committed
fix: Python threading issue
Jip J. Dekker committed
fix: resolve issues pointed out by LLM review
Jip J. Dekker committed
feat: add ABI versioning
Jip J. Dekker committed
feat: add library name into symbols to allow easy static linking
Jip J. Dekker committed
feat: initial Python interface
Jip J. Dekker committed
feat: initial C++ interface
Jip J. Dekker committed
feat: add the on_message callback to solver_run
Jip J. Dekker committed
feat: further Rust interface and some ABI definition fine-tuning
Jip J. Dekker committed
feat: crate start for Rust level interaction
Jip J. Dekker committed
refactor: rename interface to FZnSO
Jip J. Dekker committed
feat: add methods for rust interaction with IpdosValueRef
Jip J. Dekker committed
refactor: use virtual values so no allocation is ever required
Jip J. Dekker committed
feat: reorganize into protocol types and solver (DLL) template
Jip J. Dekker committed
feat: annotations and new incremental design
Jip J. Dekker committed
feat: add first draft of the protocol
Jip J. Dekker committed