search

hexhex / core

DLVHEX solver: core system and plugin API
http://www.kr.tuwien.ac.at/research/systems/dlvhex/
GNU Lesser General Public License v2.1
24 stars 8 forks source link

Arithmetic expressions #27

Open credl opened 8 years ago

credl commented 8 years ago

There are some limitations of arithmetic expressions compared to the ASP-Core-2 standard which need to be fixed.