| Name | Clingcon 0.1.2 |
|---|---|
| Description |
System Clingcon combines answer set programming with constraint processing. Its input language augments the one of Gringo with particular constraint expressions. For further information visit: http://www.cs.uni-potsdam.de/clingcon/ |
| Compatible Language Features |
