https://github.com/vroland/dp_on_dbs
Tip revision: dcaf3760cfa34bcfab9c90d3f1cea32b75fb4c3e authored by Valentin Roland on 23 February 2022, 10:31:17 UTC
updated proof format
updated proof format
Tip revision: dcaf376
File | Mode | Size |
---|---|---|
dpdb | ||
paper | ||
.gitignore | -rw-r--r-- | 117 bytes |
README.md | -rw-r--r-- | 1.3 KB |
config.json | -rw-r--r-- | 565 bytes |
dpdb.py | -rwxr-xr-x | 6.1 KB |
minisat | -rwxr-xr-x | 472.5 KB |
requirements.txt | -rw-r--r-- | 25 bytes |
verify.py | -rwxr-xr-x | 18.0 KB |