kmax icon indicating copy to clipboard operation
kmax copied to clipboard

Published 20 hours ago • verified publisher icon paulgazz

Modified kclause to ignore select for choice values

Open paulgazz opened this issue 2 years ago • 0 comments

This needs investigation to determine whether it is correct and if it improves the precision of constraints and their applications to kismet and krepair.

paulgazz avatar May 27 '22 17:05 paulgazz