Looking for an Option to minimize without deleting variables.

meelgroup / arjun

CNF minimizer and minimal independent set calculator

Other

14 stars 2 forks source link

Closed tekeuange23 closed 11 months ago

tekeuange23 commented 11 months ago

The docs says by setting --renumber to 0, it avoid renumbering of variables so I can keep track of a deleted variable if it ever happened.

Is there an option or a way to avoid searching for independent set by deleting variables ?

Cheers!

Mate

msoos commented 11 months ago

Please run with

./arjun --bve 0 --renumber 0 myfile.cnf > simplified.cnf

I hope the above helped,

Mate