/core

DLVHEX solver: core system and plugin API

Primary LanguageC++GNU Lesser General Public License v2.1LGPL-2.1

Stargazers