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

Warnings fix fix #31

Closed bilaldinc closed 7 years ago

bilaldinc commented 7 years ago

Erroneous changes are fixed.