conflict-driven nogood learning answer set solver

  • Thomas Krennwallner's avatar
    clasp 3.3.4-2 changelog · 4459bdb8
    Thomas Krennwallner authored
    * debian/control: bump Standards-Version to 4.2.1
    * Fix reproducible builds FTBFS
      - debian/control: Build-Depends on g++-8
      - debian/rules: force g++-8
    4459bdb8
Name
Last commit
Last update
app Loading commit data...
clasp Loading commit data...
cmake Loading commit data...
debian Loading commit data...
doc/api Loading commit data...
examples Loading commit data...
libpotassco Loading commit data...
src Loading commit data...
tests Loading commit data...
tools Loading commit data...
.travis.yml Loading commit data...
CHANGES Loading commit data...
CMakeLists.txt Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
create-archive.sh Loading commit data...