Search results

Problems with "unexplainable" instances in CoreComputers get_multiple_minimal method

bugSomething isn't workingSomething isn't working

Status: Open.

#36 In potassco/clingo-explaid;

· Glinzer opened on Jan 21, 2026

Maybe unneccesary double checking if MUS is already found

Status: Open.

#34 In potassco/clingo-explaid;

· hweichelt opened on Oct 24, 2025

Don't warn on empty assumption set, include it in valid interface

Status: Open.

#33 In potassco/clingo-explaid;

· hweichelt opened on Oct 6, 2025

Don't skip the empty subset from the enumeration in _compute_single_minimal

Status: Open.

#32 In potassco/clingo-explaid;

· hweichelt opened on Oct 6, 2025

Don't retun empty UnsatisfiableSubset on SAT

Status: Open.

#31 In potassco/clingo-explaid;

· hweichelt opened on Oct 6, 2025

Update SAT Check in _compute_single_minimal

Status: Open.

#30 In potassco/clingo-explaid;

· hweichelt opened on Oct 6, 2025

Overwork the CoreComputer Interface

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#29 In potassco/clingo-explaid;

· hweichelt opened on Oct 6, 2025

Create benchmark instances

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#15 In potassco/clingo-explaid;

· hweichelt opened on May 21, 2025