testcase agg3.hex fails with --solver=dlv (wellfounded limit)

hexhex / core

DLVHEX solver: core system and plugin API

GNU Lesser General Public License v2.1

24 stars 8 forks source link

Closed peschue closed 11 years ago

peschue commented 12 years ago

strangely this testcase works well with --solver=genuineii

can this testcase be evaluated with wellfounded model generator for sure?

credl commented 11 years ago

seems to work now