Differentiate &sum atom in head and body position

potassco / clingoLP

Theory propagator for linear programming using clingo theory language and interface.

MIT License

10 stars 3 forks source link

Closed sthiele closed 3 years ago