issues
search
potassco
/
ngo
Non Ground Optimizer for logic programs.
MIT License
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
math trait wrong translation of negated disjunction
#106
MaxOstrowski
closed
8 months ago
2
remove old setup, add dynamic versioning, remove ruff
#105
MaxOstrowski
closed
8 months ago
0
py.typed missing
#104
MaxOstrowski
closed
9 months ago
1
Unconnected variables
#103
MaxOstrowski
opened
10 months ago
0
Domain computation
#102
MaxOstrowski
closed
10 months ago
0
Issue/1
#101
MaxOstrowski
closed
10 months ago
0
Performance Optimization
#100
MaxOstrowski
opened
10 months ago
1
Annotations
#99
MaxOstrowski
opened
10 months ago
0
BUG - multishot solving
#98
MaxOstrowski
opened
10 months ago
0
Unused - improve unused arity detection
#97
MaxOstrowski
opened
10 months ago
0
Cleanup - remove double rules
#96
MaxOstrowski
opened
10 months ago
0
Release 1.0.0
#95
MaxOstrowski
opened
10 months ago
0
Releaseprep
#94
MaxOstrowski
closed
10 months ago
0
Issue/77
#93
MaxOstrowski
closed
10 months ago
0
Prerelease 0.0.8
#92
MaxOstrowski
closed
11 months ago
0
Preprocessing
#91
MaxOstrowski
closed
11 months ago
0
Issue/4 5
#90
MaxOstrowski
closed
11 months ago
0
Math: math in the head
#89
MaxOstrowski
closed
11 months ago
1
API and Logging
#88
MaxOstrowski
closed
11 months ago
0
Release 0.0.7
#87
MaxOstrowski
closed
12 months ago
0
Issue/79
#86
MaxOstrowski
closed
12 months ago
0
buxfix input predicates, fix #81
#85
MaxOstrowski
closed
1 year ago
0
fix #82
#84
MaxOstrowski
closed
1 year ago
0
Issue/76part2
#83
MaxOstrowski
closed
1 year ago
0
Remove #true and #false
#82
MaxOstrowski
closed
1 year ago
0
Input Predicate Detection
#81
MaxOstrowski
closed
1 year ago
0
API documentation
#80
MaxOstrowski
closed
12 months ago
1
API
#79
MaxOstrowski
closed
12 months ago
0
Contributing
#78
MaxOstrowski
closed
12 months ago
1
Optimize statements are also rules
#77
MaxOstrowski
closed
10 months ago
0
Feature: Math replacing equality
#76
MaxOstrowski
closed
1 year ago
5
Unpooling
#75
MaxOstrowski
closed
11 months ago
0
Symmetry trait: Unsafe variables, removed too much
#74
MaxOstrowski
closed
1 year ago
0
Issue/71
#73
MaxOstrowski
closed
1 year ago
0
Feature: cleanup - autodetect output_predicates
#72
MaxOstrowski
closed
1 year ago
0
Feature unused: remove predicate copies
#71
MaxOstrowski
closed
1 year ago
0
fix #68
#70
MaxOstrowski
closed
1 year ago
0
Issue/56
#69
MaxOstrowski
closed
1 year ago
0
Feature: cleanup improvement with projected variables
#68
MaxOstrowski
closed
1 year ago
0
Refactor main
#67
MaxOstrowski
closed
11 months ago
2
Prerelease 0.0.5
#66
MaxOstrowski
closed
1 year ago
0
Issues/3
#65
MaxOstrowski
closed
1 year ago
0
New default settings
#64
MaxOstrowski
closed
1 year ago
0
BindingVariables: trivial multiplication
#63
MaxOstrowski
opened
1 year ago
0
Feature math, set aggregate semantic bug
#62
MaxOstrowski
closed
1 year ago
1
Feature: math, combining Aggregate and BodyAggregate
#61
MaxOstrowski
closed
1 year ago
1
PositiveDependencyGraph negative aggregates
#60
MaxOstrowski
opened
1 year ago
4
Issue/55
#59
MaxOstrowski
closed
1 year ago
0
Bug: Symmetry breaking 2+ variables
#58
MaxOstrowski
closed
1 year ago
0
Issue/49
#57
MaxOstrowski
closed
1 year ago
0
Next