Vikseko / Circuit2cnf-gen

CNF generator encoding LEC and inversion problems for multipliers.
0 stars 0 forks source link

Toposort module required by create_lec_tests.sh #1

Closed veinamond closed 9 months ago

veinamond commented 9 months ago

Hey, Victor! I was trying out your generator, and it was all good, until I ran create_lec_tests.sh script in the Multipliers_lec folder, where it promptly informed me that no module named 'toposort' was found. I think it would be nice if you could list this requirement in the Readme. Hope this helps!

Vikseko commented 9 months ago

Updated the readme to make it clearer.