https://github.com/janverschelde/PHCpack
Revision 2affc378c3ed057ed4af92ef3b6c99cf5e922db6 authored by Jan Verschelde on 22 August 2018, 22:48:59 UTC, committed by Jan Verschelde on 22 August 2018, 22:48:59 UTC
1 parent bb4ca10
History
Tip revision: 2affc378c3ed057ed4af92ef3b6c99cf5e922db6 authored by Jan Verschelde on 22 August 2018, 22:48:59 UTC
basic C interface to the witness solvers
Tip revision: 2affc37
File Mode Size
src
LICENSE -rw-r--r-- 34.3 KB
README -rw-r--r-- 2.3 KB
README.md -rw-r--r-- 2.3 KB

README.md

back to top