Rust bindings to the Google CP-SAT constraint programming solver.
Universal Resource Allocation and Scheduling - Domain-agnostic optimization with GA, CP-SAT, dispatching rules, and time constraints
FFI bindings to Google OR-Tools CP-SAT, GLOP, and flow solvers
FFI bindings to Google OR-Tools CP-SAT and GLOP solvers
CP+SAT solver framework built to be reliable, performant, and extensible
Rust bindings for Google OR-Tools CP-SAT solver
Iron-forged OR-Tools and HiGHS solvers as Converge Suggestors
Iron-forged OR-Tools and HiGHS solvers as Converge Suggestors
CLI tool for the Huub CP+SAT solver framework
A multi-objective MaxSAT solver.
Safe Rust bindings for NIST REFPROP – thermodynamic & transport properties of refrigerants, pure fluids, and mixtures
Smaug 🐉 guards your coins and sends you an email if they move
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.