Search results

Improve coverage features

clinguin3.0

Status: Open.

#246 In potassco/clinguin;

· susuhahnml opened on Jul 2, 2025

Replace add_atom by add_fact

Status: Open.

#244 In potassco/clinguin;

· javier-romero opened on Jun 23, 2025

Allow order based on things other than number

clinguin3.0

Status: Open.

#240 In potassco/clinguin;

· susuhahnml opened on May 21, 2025

Clingraph BAckend prefix

bugSomething isn't workingSomething isn't working

Status: Open.

#239 In potassco/clinguin;

· susuhahnml opened on May 21, 2025

Handle no clinguin files

bugSomething isn't workingSomething isn't working

Status: Open.

#238 In potassco/clinguin;

· susuhahnml opened on May 21, 2025

Multiple controls in the same backend

complex

Status: Open.

#237 In potassco/clinguin;

· susuhahnml opened on May 13, 2025

Unable to use clingo with clinguin

Status: Open.

#233 In potassco/clinguin;

· GrimGamer1999 opened on Mar 20, 2025

ImportError during installation on Windows

Status: Open.

#226 In potassco/clinguin;

· mariamaninna opened on Mar 3, 2025

Keep status after reload

Status: Open.

#225 In potassco/clinguin;

· susuhahnml opened on Feb 18, 2025

Wrong versions for karma-coverage and karma-jasmine-html-reporter.

Status: Open.

#223 In potassco/clinguin;

· VictosVertex opened on Feb 13, 2025

Clingo Backend Unitest

Status: Open.

#221 In potassco/clinguin;

· susuhahnml opened on Jan 22, 2025

ClingoBackend

Status: Open.

#220 In potassco/clinguin;

· susuhahnml opened on Jan 22, 2025