issues
search
potassco
/
clingoLP
Theory propagator for linear programming using clingo theory language and interface.
MIT License
10
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
cleanup
#20
sthiele
closed
3 years ago
0
Fix issue #18
#19
sthiele
closed
3 years ago
0
Failing to understand encoding of inequalities
#18
rolfmorel
closed
3 years ago
5
St/port clingo 5.5
#17
sthiele
closed
3 years ago
0
Add deploy scripts for clingo-lp
#16
rkaminsk
closed
3 years ago
3
Differentiate &sum atom in head and body position
#15
sthiele
closed
3 years ago
0
simplify ci test
#14
sthiele
closed
3 years ago
0
Simplify Action
#13
rkaminsk
closed
3 years ago
1
tweak output
#12
sthiele
closed
3 years ago
0
St/py39
#11
sthiele
closed
3 years ago
0
Update to work with clingo-5.5.0
#10
MaxOstrowski
closed
3 years ago
9
fix error on --show-lp-solution without lp solution
#9
sthiele
closed
4 years ago
0
Setup ci
#8
sthiele
closed
4 years ago
0
find out why clingo_main returns 10
#7
sthiele
closed
4 years ago
5
Relicensing
#6
sthiele
closed
4 years ago
0
Relicensing to MIT
#5
sthiele
closed
4 years ago
4
make clingoLP work with Python 3
#4
sthiele
closed
4 years ago
0
Using cplx solver with clingo
#3
faseehahmad
closed
6 years ago
2
Delete README.txt
#2
schellhorn
closed
7 years ago
0
Create README.md
#1
schellhorn
closed
7 years ago
0