https://github.com/janverschelde/PHCpack
Revision 129c157a61096b3c38cedc821f9d0e87c9adeb01 authored by Jan Verschelde on 14 May 2018, 22:42:22 UTC, committed by Jan Verschelde on 14 May 2018, 22:42:22 UTC
1 parent 310f5bc
History
Tip revision: 129c157a61096b3c38cedc821f9d0e87c9adeb01 authored by Jan Verschelde on 14 May 2018, 22:42:22 UTC
added DEMiCs as one of the lifting strategies for the phc -m menu
Tip revision: 129c157
File Mode Size
src
LICENSE -rw-r--r-- 34.3 KB
README -rw-r--r-- 1.3 KB
README.md -rw-r--r-- 2.1 KB

README.md

back to top