Aravind Sankaran

Results 1 issues of Aravind Sankaran

While using the script 'examples/run_linnea.py' for a random equation over and over again, is it possible to set a seed so that Linnea generates the **same set of variants in...