Version 1.2.5
- New feature: Lazy evaluation now supports built-in counter arithmetic.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
- Documentation (DBAI Technical Report DBAI-TR-2017-107).
- Example encodings.
Version 1.2.4
- New feature: Support for the htd library's generation of tree decompositions based on various fitness criteria.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
Version 1.2.3
- Bugfixes and updated dependencies.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
Version 1.2.2
- Mostly bugfixes.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
Version 1.2.1
- Mostly bugfixes.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 64-bit.
Version 1.2.0
- New features: lazy evaluation mode, built-in counters, the possibility to use cardinality of item sets as costs implicitly, use of htd library instead of htdecomp, new option for printing clasp solving statistics.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 64-bit.
- References: IJCAI-16 paper, KI 2016 paper.
Version 1.1.0
- New features: Hard-coded ASP solving module, the possibility of specifying a tree decomposition in the input, and performance improvements.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
Version 1.0.1
- Mostly bugfixes.
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
Version 1.0.0
- Source code (published under the GPL), available at GitHub.
- Linux Binaries: 32-bit, 64-bit.
- Documentation (DBAI Technical Report DBAI-TR-2014-86).
- Example encodings.
- D-FLAT Debugger compatible to this version.
Version 0.2
- Source code (published under the GPL), also contains the required modified version of SHARP.
- Linux 64-bit binary.
- Documentation.
- Example encodings.
Version 0.1
- Source code (published under the GPL), also contains the required modified version of SHARP.
- Linux 64-bit binary.
- Example encodings.
Last updated: 2017-08-16 14:50