Skip to content

aslib-v4.0

Latest
Compare
Choose a tag to compare
@mlindauer mlindauer released this 15 Sep 07:57
· 113 commits to master since this release

New scenarios:

  • CSP-Minizinc-Obj-2016
  • CSP-Minizinc-Time-2016
  • MAXSAT-PMS-2016
  • MAXSAT-WPMS-2016
  • MIP-2016
  • OPENML-WEKA-2017
  • QBF-2016
  • SAT03-16_INDU