swh:1:snp:5c81b35c32cd128e955f4da753d99c09557a4451
Tip revision: 7e149916f56918f135b5259c3fb0b3f7119f8d07 authored by Lonca Emmanuel on 24 March 2021, 14:04:19 UTC
bumped version number to 3.0.3-dev
bumped version number to 3.0.3-dev
Tip revision: 7e14991
| 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 |
README
Loading README ...
