Just added the target DATS_C.On Sunday, December 20, 2015 at 5:02:26 PM UTC-5, Barry Schwartz wrote:
The readme for patsolve_z3 doesn’t work unless you add the missing
‘DATS_C’ to the first make.(Also, less troublesomely, it will not work if you do not have
PATSHOMERELOC pointed to the same repo, though I have not tested
whether -IIATS can overcome that.)