SgtSwagrid 

A purely functional modelling layer for MILP and SMT solvers. Constraints are immutable expressions that read like the mathematics they represent: (a + h <= b) | (b + h <= a). Boolean structure is lowered to... More information

Microsoft Z3 backend for Hephaestus: an SMT solver that handles boolean structure and strict inequalities natively and exactly, with no big-M encoding at all.

Native Gurobi backend for Hephaestus. Conditional constraints become Gurobi indicator constraints, so no big-M is involved at all; a classic big-M formulation with derived values is available too. Needs a... More information

Google OR-Tools backend for Hephaestus: solve problems with SCIP, CBC, HiGHS, CP-SAT, GLOP, or a commercial solver that OR-Tools can reach (Gurobi, CPLEX, Xpress).

Standalone HiGHS backend for Hephaestus: the leading permissively licensed MILP solver, in a few megabytes and with no other dependencies.

NodaTime support for Hephaestus: typed variables and expressions for Duration, Instant, LocalDateTime, LocalDate, LocalTime, OffsetDateTime and ZonedDateTime, with the operators each type ought to have (instant... More information