Some warnings are suppressed. Because they are not dangerous.

hexhex / core

DLVHEX solver: core system and plugin API

GNU Lesser General Public License v2.1

24 stars 8 forks source link

Closed bilaldinc closed 7 years ago

bilaldinc commented 7 years ago

Warnings that are suppressed: unused-parameter unused-local-typedefs unused-function