Aluriak/clyngor issues and pull requests

#33 - Improve API for non-satisfiable problems

Pull Request - State: open - Opened by barreeeiroo over 1 year ago - 1 comment

#32 - Yield stats on UNSATISFIABLE

Pull Request - State: closed - Opened by barreeeiroo over 1 year ago - 1 comment

#31 - Keep statistics when UNSATISFIABLE

Issue - State: closed - Opened by barreeeiroo over 1 year ago - 1 comment

#30 - clyngor: when using clingo module, stderr is dumped to stdout

Issue - State: open - Opened by Aluriak over 2 years ago

#29 - TypeError: solve() got an unexpected keyword argument 'async'

Issue - State: closed - Opened by th-char almost 3 years ago - 9 comments

#28 - AttributeError: module 'clingo' has no attribute 'Control'

Issue - State: open - Opened by jpsiegel over 3 years ago - 4 comments
Labels: bug

#27 - Clyngor works with newer python versions

Pull Request - State: closed - Opened by domoritz almost 4 years ago - 2 comments

#26 - Missing license file

Issue - State: closed - Opened by synapticarbors over 4 years ago - 5 comments

#25 - When running python file: mapping[f'{pred}/{len(args)}'].add(args)

Issue - State: closed - Opened by A-xiong over 4 years ago - 2 comments

#24 - lack of import as_pyasp

Issue - State: closed - Opened by AriBad almost 5 years ago - 1 comment

#23 - A model for clingo's statistics

Issue - State: open - Opened by Aluriak almost 5 years ago
Labels: bug, enhancement

#22 - How to get info on number of models generated?

Issue - State: closed - Opened by llaisdy almost 5 years ago - 6 comments

#21 - Unable to get it working on my python module

Issue - State: closed - Opened by harshitpatel96 about 5 years ago - 5 comments

#20 - atoms starting with underscore are not carefully parsed

Issue - State: closed - Opened by Aluriak about 5 years ago
Labels: bug

#19 - Autodetect when it is necessary to use careful parsing.

Issue - State: open - Opened by Aluriak about 5 years ago

#18 - Optimize opt_models_from_clyngor_answers.

Pull Request - State: closed - Opened by ArnaudBelcour about 5 years ago

#17 - typo: abandonned -> abandoned

Pull Request - State: closed - Opened by marwahaha over 5 years ago

#16 - str method of Atom in as_pyasp fails if arguments are of different types

Issue - State: closed - Opened by cfrioux over 5 years ago - 1 comment

#15 - Clingo binary path should be gotten from environment variables

Issue - State: open - Opened by Aluriak over 5 years ago
Labels: enhancement

#14 - Easy installation of clingo binary

Issue - State: closed - Opened by Aluriak over 5 years ago - 1 comment
Labels: enhancement

#13 - Support for grounding and solving as separate operations

Issue - State: closed - Opened by Aluriak over 5 years ago - 1 comment
Labels: enhancement

#12 - Access to atoms dict through name and arity

Issue - State: closed - Opened by Aluriak over 5 years ago
Labels: enhancement

#11 - Add discard_quotes for as_pyasp.

Pull Request - State: closed - Opened by ArnaudBelcour about 6 years ago - 1 comment

#10 - Add conda package

Issue - State: closed - Opened by domoritz about 6 years ago - 4 comments
Labels: enhancement

#9 - Add an option to discard the quotes around the arguments.

Pull Request - State: closed - Opened by ArnaudBelcour about 6 years ago - 3 comments

#8 - Atom as string and first arg only are colliding

Issue - State: closed - Opened by Aluriak about 6 years ago - 1 comment
Labels: bug

#7 - Parsing answer difficulties when python clingo is installed

Issue - State: closed - Opened by ArnaudBelcour over 6 years ago
Labels: bug

#6 - Answers: can't cumulate sorted and atom_as_string flags

Issue - State: closed - Opened by Aluriak over 6 years ago - 1 comment

#5 - Delay in file creation with Python implementation in ASP

Issue - State: open - Opened by ArnaudBelcour over 6 years ago - 4 comments
Labels: bug

#4 - Syntax highlight code in readme

Pull Request - State: closed - Opened by domoritz over 6 years ago - 1 comment

Ecosyste.ms: Issues

GitHub / Aluriak/clyngor issues and pull requests