Skip to content
This repository has been archived by the owner on May 10, 2024. It is now read-only.

dcm-0.11.0
Compare
Choose a tag to compare
@lalithsuresh lalithsuresh released this 30 Jun 23:56
· 155 commits to master since this release
dcm-0.11.0
fc9c2eb

  • Public API changes:

    • #114: dcm: simplify Model and ISolverBackend APIs
    • #96: dcm: use consistent syntax for hard and soft constraints

  • Issues fixed:

    • #95: k8s-scheduler,benchmarks: eliminate stray running threads
    • #96: dcm: Use consistent syntax for hard and soft constraints
    • #101,#102: ortools-backend: improve intermediate view type inferrence
    • #107: ScaleNodeBenchmark to measure solver's latency
    • #109: dcm: make sure string literals in generated code preserve the casing from the DB
    • #110,#113: Don't search for an UNSAT core unless solver status is INFEAS…IBLE
    • Overhaul of internal APIs from Model -> Backend
Assets 2
Loading