potassco/python-clingox issues and pull requests

#45 - Fixed external print in Program

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

#44 - fix workflow

Pull Request - State: closed - Opened by rkaminsk almost 2 years ago

#43 - Documentation bug: clingox.backend

Issue - State: closed - Opened by Entze almost 2 years ago - 1 comment

#42 - Fix/mypy warnings

Pull Request - State: closed - Opened by rkaminsk about 2 years ago

#41 - Normalize functions

Pull Request - State: closed - Opened by jorgefandinno about 2 years ago - 3 comments

#40 - Relaxed Test Case

Issue - State: closed - Opened by jorgefandinno about 2 years ago - 6 comments

#39 - Fix printing of ground weight rules

Pull Request - State: closed - Opened by rkaminsk about 2 years ago

#38 - Program not gringo parsable

Issue - State: closed - Opened by jorgefandinno about 2 years ago - 1 comment
Labels: bug

#37 - add isort to checks

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#36 - testing.ast

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 19 comments

#35 - AST representation

Issue - State: closed - Opened by jorgefandinno over 2 years ago - 13 comments

#34 - Jorge/filter body

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 6 comments

#33 - ast.get_body()

Issue - State: closed - Opened by jorgefandinno over 2 years ago - 1 comment

#32 - deploy packages for Ubuntu 22.04

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#31 - Jorge/get body callback

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 6 comments

#30 - Auto format source code with black

Pull Request - State: closed - Opened by rkaminsk over 2 years ago - 12 comments

#29 - Jorge/black3

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago

#28 - configuring black with pre-commit on github actions

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago

#27 - Jorge/black2

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago

#26 - Jorge/black

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 4 comments

#25 - Use black to autoformat source code

Issue - State: closed - Opened by rkaminsk over 2 years ago
Labels: enhancement

#24 - static method

Issue - State: closed - Opened by jorgefandinno over 2 years ago - 3 comments

#23 - Jorge/theory term parser

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 21 comments

#22 - make compatible with clingo 5.5 (again)

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#21 - Make compatible with clingo 5.5

Issue - State: closed - Opened by rkaminsk over 2 years ago - 1 comment

#20 - parse_theory moved to ast module

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 9 comments

#19 - Parsing theory atoms as conditional literals

Issue - State: closed - Opened by jorgefandinno over 2 years ago - 2 comments
Labels: enhancement

#18 - parse_theory

Issue - State: closed - Opened by jorgefandinno over 2 years ago - 1 comment
Labels: enhancement

#17 - Add function to get body literals.

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 6 comments

#16 - approximate cautions consequences

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 6 comments

#15 - asp-reify testing theory atoms

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 2 comments

#13 - adjust to clingo 5.6

Pull Request - State: closed - Opened by rkaminsk over 2 years ago

#12 - Adjust clingox to changes to clingo's AST

Issue - State: closed - Opened by rkaminsk over 2 years ago
Labels: enhancement

#11 - Jorge/reify ast order

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago

#10 - adding reify at the AST level and fixing rename to work with strong n…

Pull Request - State: closed - Opened by jorgefandinno over 2 years ago - 11 comments

#9 - Add functions to reify a program.

Pull Request - State: closed - Opened by susuhahnml over 2 years ago - 3 comments

#8 - Sh/reify

Pull Request - State: closed - Opened by susuhahnml over 2 years ago

#7 - start reify implementation

Pull Request - State: closed - Opened by rkaminsk over 2 years ago - 2 comments

#6 - Port library to cffi based clingo module.

Pull Request - State: closed - Opened by rkaminsk almost 4 years ago

#5 - add function to print ast representation

Pull Request - State: closed - Opened by rkaminsk about 4 years ago

#4 - add coverage checks to CI tests

Pull Request - State: closed - Opened by rkaminsk about 4 years ago

#3 - add function to rename symbolic atoms in AST

Pull Request - State: closed - Opened by rkaminsk about 4 years ago

#2 - Symbolic backend

Pull Request - State: closed - Opened by rkaminsk about 4 years ago

#1 - controlx

Pull Request - State: closed - Opened by jorgefandinno about 4 years ago - 21 comments

GitHub / potassco/python-clingox issues and pull requests