https://github.com/bonetblai/qnp2fond
Tip revision: 4a077bad74b40eca5e60d8c5b8e16824a0cad4dc authored by Blai Bonet on 10 December 2020, 03:41:05 UTC
fix small errors regarding use of undefined predicates
fix small errors regarding use of undefined predicates
Tip revision: 4a077ba
File | Mode | Size |
---|---|---|
examples | ||
src | ||
.gitignore | -rw-r--r-- | 13 bytes |
CMakeLists.txt | -rw-r--r-- | 1.5 KB |
LICENSE | -rw-r--r-- | 11.1 KB |
README.md | -rw-r--r-- | 3.7 KB |