Closed Cermelli closed 3 years ago
This issue has been replaced by #127 (since, in the meanwhile, the fork number 7 has become number 8 on Zendoo due to the introduction of another fork in Zend, see 475049d75b229b1e35549552e3e16734942b75a9).
This issue has been replaced by #127 (since, in the meanwhile, the fork number 7 has become number 8 on Zendoo due to the introduction of another fork in Zend, see 475049d75b229b1e35549552e3e16734942b75a9).