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

dcm-0.10.0
Compare
Choose a tag to compare
@lalithsuresh lalithsuresh released this 02 Jun 20:40
· 178 commits to master since this release
dcm-0.10.0
a5f9f47

  • Public API changes:

    • Upgrade to Google OrTools 9.0.9048
    • #93: UNSAT core interface

  • Issues fixed:

    • #93: Add UNSAT core interface
    • #94: re-organize compiler code as a pipeline of passes against a Program<T> representation
Assets 2
Loading