You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello, I use bosphorus to convert ANF to CNF.
The command is "./bosphorus --anfread fail_create_cnf.eqs --cnfwrite fail_create_cnf.cnf "
But it kept stopping at the first Iteration 0, I don't know what's wrong.
The attach is my fail ANF file "fail_create_cnf.zip".
Thank you!
Hello, I use bosphorus to convert ANF to CNF.
The command is "./bosphorus --anfread fail_create_cnf.eqs --cnfwrite fail_create_cnf.cnf "
But it kept stopping at the first Iteration 0, I don't know what's wrong.
The attach is my fail ANF file "fail_create_cnf.zip".
Thank you!
fail_create_cnf.zip
The text was updated successfully, but these errors were encountered: