https://github.com/crillab/CoQuiAAS
Tip revision: cfdc7053f2bba3965c665328fc1d014f44cab16b authored by Lonca Emmanuel on 17 March 2021, 12:16:06 UTC
cleaned configure.ac
cleaned configure.ac
Tip revision: cfdc705
File | Mode | Size |
---|---|---|
cmp | ||
dtools | ||
glucose | ||
minisat | ||
.gitignore | -rw-r--r-- | 14 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 6.8 KB |
README | -rw-r--r-- | 818 bytes |