Search results

gringo fails with re2c 4.3.1

Status: Open.

#591 In potassco/clingo;

· glondu opened on Dec 25, 2025

<code>clingo -V</code> outputs 27,000 lines of logs per second on a disjunctive program

Status: Open.

#590 In potassco/clingo;

· davidspies opened on Dec 24, 2025

clingo v6 hangs on reading

Status: Open.

#583 In potassco/clingo;

· alalazo opened on Nov 13, 2025

Clingo on Android 11+ with python support

Status: Open.

#540 In potassco/clingo;

· mbalduccini opened on Mar 8, 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

Improve configuration of clingo via the API

enhancement

Status: Open.

#121 In potassco/clingo;

· MaxOstrowski opened on Aug 13, 2018

·  

unknown