https://github.com/Nauchnik/pdsat
Tip revision: 2dc593c3208132f279ba49c7f2ecb9c8a53a97d3 authored by dukkham on 09 October 2020, 11:59:16 UTC
minor fix in Makefile
minor fix in Makefile
Tip revision: 2dc593c
File | Mode | Size |
---|---|---|
VS_latin_conseq | ||
VS_minisat | ||
VS_mpi | ||
include_win_common | ||
src_common | ||
src_conseq | ||
src_mpi | ||
src_solver | ||
.gitattributes | -rw-r--r-- | 483 bytes |
.gitignore | -rw-r--r-- | 2.9 KB |
README.md | -rw-r--r-- | 158 bytes |