Search results

handle.model() and handle.core() seem to have different forcing behaviour

Status: Open.

#547 In potassco/clingo;

· AbdallahS opened on May 23, 2025

#program namespace

bug

question

Status: Open.

#546 In potassco/clingo;

· ejgroene opened on Apr 24, 2025

 ·  

unknown

Unexpected Behavior with Cardinality Constraint in Clingo 5.7.1

question

Status: Open.

#544 In potassco/clingo;

· axd353 opened on Apr 14, 2025

Logging the full list of choices during solving

question

Status: Open.

#543 In potassco/clingo;

· markducks opened on Apr 8, 2025

Clingo on Android 11+ with python support

Status: Open.

#540 In potassco/clingo;

· mbalduccini opened on Mar 8, 2025

wrong grounding involving recursive conditional literals

bug

Status: Open.

#495 In potassco/clingo;

· rkaminsk opened on Apr 22, 2024

 ·  

unknown

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

#delayed output

enhancement

question

Status: Open.

#331 In potassco/clingo;

· stas-g opened on Sep 17, 2021

 ·  

unknown

Extend the API to modify Theory Data

enhancement

Status: Open.

#315 In potassco/clingo;

· rkaminsk opened on Jun 4, 2021

 ·  

unknown

Symbols are stored globally and never freed.

enhancement

Status: Open.

#203 In potassco/clingo;

· rkaminsk opened on Mar 20, 2020

 ·  

unknown