@mlindauer mlindauer released this Sep 15, 2017 · 1 commit to master since this release

Assets 2

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

@mlindauer mlindauer released this May 8, 2017 · 3 commits to master since this release

Assets 2

Major changes:

  • Changing specification of algorithms in description.txt --- see format specs for details

New scenarios:

  • BNSL-2016
  • GRAPHS-2015
  • TSP-LION2015
  • TTP-2016

Minor:

  • Renaming PREMARSHALLING-ASTAR-2015 to CPMP-2015

@larskotthoff larskotthoff released this Dec 16, 2015 · 22 commits to master since this release

Assets 2

Adding:

  • CSP-MZN-2013
  • MAXSAT15-PMS-INDU
  • QBF-2014
  • SAT15-INDU

@mlindauer mlindauer released this Mar 19, 2015 · 41 commits to master since this release

Assets 2

Update of PREMARSHALLING scenario to 2015 version

Assets 2

First Release of ASlib with 13 Releases (fixed PREMARSHALLING scenario
to original version)

Dec 9, 2014

v1.0

update format of readme