potassco / clingo

🤔 A grounder and solver for logic programs.

https://potassco.org/clingo

potassco/clingo Issues

Building a library that depends on clingo with `DCLASP_BUILD_WITH_THREADS=Off`
Updated 4 months ago8
Segv with add_atom and ground() multiple times, with Script, on M1
Updated 4 months ago5
Clingo programs with python scripts hang with Python3.12
Updated 5 months ago4
Code that has no effect
Closed 5 months ago1
The Python extension fails to compile: 'math/wide_integer/uintwide_t.h' file not found
Closed 5 months ago6
C++ API throws exception from destructor that cannot be caught
Closed 5 months ago3
A propagator-based approach to timeout a solve?
Updated 5 months ago8
How to to Make Preference Criteria Effective
Closed 6 months ago1
Capture the logger
Closed 6 months ago2
Clingo/gringo/clasp: incorrect behavior on Android 11+
Updated 6 months ago9
disable printing info
Closed 6 months ago1
Build Failure with Ubuntu 22.04.3
Closed 6 months ago1
Issues Running Python Inside Clingo - MacOs - M2 Chip
Closed 8 months ago4
Evaluate using Profile-Guided Optimization (PGO) and Post Link Optimization (PLO) for Clingo
Updated 8 months ago1
I am confused with the OR logic.
Closed 8 months ago2
domRec ignored for heuristic with external atom
Updated 8 months ago3
quick arithmetic between two aggregate expression in place
Closed 9 months ago1
Tychecking control.solve
Closed 9 months ago1
Performance degradation when an incremental solve times out
Closed 9 months ago2
add an option to preserve atoms of facts in the symbol table
Closed 9 months ago
Problems building clingo for static linking
Closed 10 months ago1
Optional
Closed 10 months ago1
TypeError: unsupported operand type(s) for +: 'ASTSequence' and 'ASTSequence'
Closed 10 months ago1
[Python API] clingo.ast.AST.__str__() unexpected behavior(commas into semicolon)
Closed a year ago4
Projected Answer set enumeration
Closed a year ago2
Example of incremental solving of the paper "How to build your own ASP system"
Closed a year ago2
Search space difference between solving and multi-shot solving.
Closed a year ago1
Any way to retrieve the priority levels from an answer set?
Closed a year ago4
clingo_propagate_init_solver_literal returns "-1"
Closed a year ago3
Weak Constraints Clingo DLV
Closed a year ago4
showing theory atoms
Closed a year ago1
bug in assignment aggregate rewriting
Closed a year ago
gringo output syntac
Closed a year ago10
mypy AST Callbacks
Closed a year ago3
Potential bug in example on webpage
Closed a year ago3
Grammar railroad diagram
Closed a year ago2
errors
Closed a year ago7
unexpected warning message "info: operation undefined"
Closed a year ago2
Wrong number of answer sets
Closed a year ago8
Flushing the out in print_model
Closed a year ago1
*Anytime* Cautious Reasoning
Closed a year ago4
Adding cardinality constraints through backend
Closed a year ago2
Thread-safety of clingo_ground_callback
Closed a year ago5
(Optionally) provide comments as AST nodes.
Closed a year ago
1 test fails: ValueError: invalid mode: 'rU' (with Python-3.11)
Closed a year ago2
Can I optimize and groupby?
Closed a year ago2
When running .lp files on MacOS Ventura 13.2.1 using Apple Silicon M2 Max Chip, has <cmd> error that says "file cannot be opened".
Closed a year ago6
Infinite loop
Closed 2 years ago2
Pack multiple predicates into one list without enumerating predicate insertion order?
Closed a year ago2
Support custom malloc in build system
Closed 2 years ago8