potassco / clasp

⚙️ A conflict-driven nogood learning answer set solver

https://potassco.org/clasp/

potassco/clasp Issues

Unexpected behaviour with incremental solving
Closed 5 months ago2
32-bit archs should link to libatomic when using GCC
Closed 10 months ago12
infinite loop when optimizing
Closed 10 months ago3
confusing documentation of `--opt-heuristic`
Closed a year ago2
Parse error in line 1:1: '%': unrecognized input format
Closed a year ago2
Bug solving disjunctive program
Closed a year ago10
Problem with disjunctive program
Closed a year ago2
Question about definite/estimate consequences
Closed a year ago5
Bug with --pre option
Closed a year ago3
*** ERROR: (clasp): Function requires valid conflict
Closed 2 years ago11
Additional model if preprocessor is enabled
Closed 2 years ago8
Clasp binaries for Windows
Closed 2 years ago2
models during enumeration omitted
Closed 2 years ago6
Unsatisfiable cores with complementary literals
Closed 2 years ago2
cmake can't find potassco
Closed 2 years ago2
Json output with escaped quote
Closed 2 years ago7
Clause using Enumerator::comitClause is ignored
Closed 2 years ago7
Please update to Catch2 (2.13.5+)
Closed 2 years ago1
Regression when passing assumptions that cause trivial conflicts
Closed 3 years ago2
Spurious answers sets if there are theory atoms with trivially false bodies
Closed 3 years ago1
Multi-shot step literals
Updated 3 years ago2
Optimization Bug
Closed 3 years ago3
Freezing Variables
Closed 3 years ago3
Yielding models using the SolveHandle produces different results in synchronous and asynchronous mode.
Closed 3 years ago4
Single shot solving without deleting the logic program
Closed 3 years ago6
#heuristic in multi-shot setting
Closed 4 years ago1
Core conflicts.
Closed 4 years ago11
Conflict Statistics using Propagators
Closed 4 years ago6
Assertion during `Clasp::Solver::cloneDB`
Closed 4 years ago2
configuration files returns different results as using the same options in the command line
Closed 4 years ago4
Weightconstraints created with `create_only_btb` or `create_only_bfb` do not behave as expected.
Closed 4 years ago3
Segfault/Assertion when an exception is thrown in Propagator::undo().
Closed 4 years ago5
Segfault/Assertion when a watch is added for a "not yet added" literal.
Closed 4 years ago1
Propagator::check is called after auxiliary variables have been removed but before reiinitialization.
Closed 4 years ago4
Literals added during propagator initialization are invalid until a clause referring to them is introduced.
Closed 4 years ago3
Extend Potassco::Assignment to provide access to trail.
Closed 5 years ago19
Backtracking without notification in Propagator::check when lookahead is activated.
Closed 5 years ago4
Use the Clingo --time-limit option only on Solving phase
Closed 5 years ago5
Add New constraints
Closed 5 years ago2
Propagator fails when lookahead is enabled.
Closed 5 years ago6
Equivalence Preprocessing for incremental programs
Updated 5 years ago
Spurious answer sets when theory atoms are used.
Closed 5 years ago7
Exit code has ALLOPT bit set when bad alloc is thrown
Closed 5 years ago3
Winner in stats
Closed 6 years ago1
Clasp::PBBuilder::addConstraint() requires rhs(=bound) to be GEQ 0
Closed 6 years ago1
Accumulation of user statstics
Closed 6 years ago9
Bug with incremental equivalence preprocessing
Closed 6 years ago1
Canceling an asynchronous solve operation does not always work.
Closed 6 years ago1
Exception in statistics callback is not propagated when yielding models.
Closed 6 years ago1
User Statistics are only printed if the statistics are "accessed".
Closed 6 years ago3