All issues

Search results

Periodic stats from python

Status: Open.

Feature

#637 In potassco/clingo;

· edmcman opened on Jun 6, 2026

·  

unknown

Bug: USC lower-bound progress suppressed in multi-threaded compete mode

Status: Open.

Feature

#636 In potassco/clingo;

· edmcman opened on Jun 5, 2026

·  

6.0.0

Discusion about cache locality in gringo

Status: Open.

#631 In potassco/clingo;

· Paulo-21 opened on May 2, 2026

Incremental, but isolated grounding

Status: Open.

Feature

#613 In potassco/clingo;

· samutoljamo opened on Mar 22, 2026

·  

6.0.0

Migration guide for wip-20?

Status: Open.

#593 In potassco/clingo;

· haampie opened on Jan 12, 2026

clingo v6 hangs on reading

Status: Open.

#583 In potassco/clingo;

· alalazo opened on Nov 13, 2025

A propagator-based approach to timeout a solve?

enhancement

Status: Open.

#473 In potassco/clingo;

· mbalduccini opened on Dec 11, 2023

·  

unknown

Evaluate using Profile-Guided Optimization (PGO) and Post Link Optimization (PLO) for Clingo

enhancement

Status: Open.

#468 In potassco/clingo;

· zamazan4ik opened on Nov 15, 2023

·  

unknown

domRec ignored for heuristic with external atom

enhancement

Status: Open.

#467 In potassco/clingo;

· kherud opened on Nov 14, 2023

·  

unknown

Extend the API to modify Theory Data

enhancement

Status: Open.

#315 In potassco/clingo;

· rkaminsk opened on Jun 4, 2021

·  

unknown

Warn about assignment aggregates

enhancement

Status: Open.

#164 In potassco/clingo;

· rkaminsk opened on Aug 14, 2019

·  

unknown

SolveHandles should implement Python's asynchronous iterators

enhancement

Status: Open.

#155 In potassco/clingo;

· rkaminsk opened on Jul 2, 2019

·  

unknown