issues Search Results · repo:potassco/clingo-rs language:Rust
Filter by
18 results
(89 ms)18 results
inpotassco/clingo-rs (press backspace or delete to remove)Dear All
Most probably the issue is at my end but I wonder if you have any ideas.
cargo build works and all but one of the examples runs, but the ast example fails with 12 warnings and this error:
$ ...
llaisdy
- 2
- Opened on Jan 6, 2024
- #66
Hi,
I have some problems building rust program with clingo-rs version 0.7.2 and 0.7.3.
Environment :
- Debian linux 11.
- Clingo is installed via anaconda in a dedicated environment (clingo 5.5.0, ...
question
EWurbel
- 2
- Opened on Oct 9, 2023
- #61
As far as I can tell versions 0.7 used a SolveHandle object based on a mutable reference to clingo_solve-handle_t.
https://github.com/potassco/clingo-rs/blob/44b95d91763ce500ba6901cfa7c8d5ffabc1d08c/src/lib.rs#L4761 ...
drwadu
- 5
- Opened on Sep 11, 2023
- #58
Hello! I am trying to fix the following issue in the Anthem source code: Given a program p(X) :- X = 1. Anthem is
translating the = into a . A correct string ( p(X) :- X = 1 ) is being passed to the clingo ...
ZachJHansen
- Opened on Apr 20, 2022
- #49
I am trying to avoid grounding, while adding new rules to the underlying logic program, which means adding a new program
that extends the old program by the new rules is not an option.
I was planning ...
- 1
- Opened on Jul 13, 2021
- #43
I m trying to use the wait function on SolveHandle, but can t figure out what unit the timeout is expected to have.
Additional information about the parameter might be nice. Alternatively, timeout s type ...
MalteT
- 6
- Opened on Dec 16, 2020
- #33
Background: On my way of figuring out how multi-shot works, I stumbled across this issue: ClingoError(InternalError {
msg: Call to clingo_control_solve() failed , code: Logic, last: logic error: check(\ ...
enhancement
samuelpilz
- 13
- Opened on Feb 10, 2020
- #29
Hello, This may be a Clingo problem, not a clingo-rs problem, but running the command:
cargo run --example=control 0
produces a long string of errors. I ve attached the end of the stream here:
clingo/libclingo/src/control.cc(1526): ...
d4hines
- 19
- Opened on Feb 7, 2020
- #28
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.