Aluriak clyngor issues - Githubissues

Aluriak / clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

GNU General Public License v3.0

34 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Improve API for non-satisfiable problems

#33 barreeeiroo opened 1 year ago
1
Yield stats on UNSATISFIABLE

#32 barreeeiroo closed 1 year ago
1
Keep statistics when UNSATISFIABLE

#31 barreeeiroo closed 1 year ago
1
clyngor: when using clingo module, stderr is dumped to stdout

#30 Aluriak opened 2 years ago
0
TypeError: solve() got an unexpected keyword argument 'async'

#29 th-char closed 2 years ago
9
AttributeError: module 'clingo' has no attribute 'Control'

#28 jpsiegel opened 3 years ago
4
Clyngor works with newer python versions

#27 domoritz closed 3 years ago
2
Missing license file

#26 synapticarbors closed 4 years ago
5
When running python file: mapping[f'{pred}/{len(args)}'].add(args)

#25 A-xiong closed 4 years ago
2
lack of import as_pyasp

#24 AriBad closed 4 years ago
1
A model for clingo's statistics

#23 Aluriak opened 4 years ago
0
How to get info on number of models generated?

#22 llaisdy closed 4 years ago
6
Unable to get it working on my python module

#21 harshitpatel96 closed 4 years ago
5
atoms starting with underscore are not carefully parsed

#20 Aluriak closed 4 years ago
0
Autodetect when it is necessary to use careful parsing.

#19 Aluriak opened 4 years ago
0
Optimize opt_models_from_clyngor_answers.

#18 ArnaudBelcour closed 4 years ago
0
typo: abandonned -> abandoned

#17 marwahaha closed 5 years ago
0
__str__ method of Atom in as_pyasp fails if arguments are of different types

#16 cfrioux closed 5 years ago
1
Clingo binary path should be gotten from environment variables

#15 Aluriak opened 5 years ago
0
Easy installation of clingo binary

#14 Aluriak closed 5 years ago
1
Support for grounding and solving as separate operations

#13 Aluriak closed 5 years ago
1
Access to atoms dict through name and arity

#12 Aluriak closed 5 years ago
0
Add discard_quotes for as_pyasp.

#11 ArnaudBelcour closed 5 years ago
1
Add conda package

#10 domoritz closed 5 years ago
4
Add an option to discard the quotes around the arguments.

#9 ArnaudBelcour closed 5 years ago
3
Atom as string and first arg only are colliding

#8 Aluriak closed 5 years ago
1
Parsing answer difficulties when python clingo is installed

#7 ArnaudBelcour closed 5 years ago
0
Answers: can't cumulate sorted and atom_as_string flags

#6 Aluriak closed 6 years ago
1
Delay in file creation with Python implementation in ASP

#5 ArnaudBelcour opened 6 years ago
4
Syntax highlight code in readme

#4 domoritz closed 6 years ago
1
Support running clingo without creating temporary files

#3 domoritz closed 6 years ago
10
Use JSON output

#2 domoritz closed 6 years ago
2
Support for optimize

#1 domoritz closed 6 years ago
2