Commit Graph

3 Commits

Author SHA1 Message Date
John Tromp e36ff05210 more cuda 192,7 support 2018-06-09 14:14:52 +02:00
tromp f06ff12ed5 obsolete faster by speeding up low-mem versions 2016-10-16 18:49:03 -04:00
tromp 72db6ff8a5 add solvers 2016-10-14 14:28:34 -04:00