RoboMachine icon indicating copy to clipboard operation
RoboMachine copied to clipboard

Published 20 hours ago • verified publisher icon mkorpela

N pairwise algo for variables

Open mkorpela opened this issue 13 years ago • 1 comments

mkorpela avatar Dec 31 '11 12:12 mkorpela

SAT solver could most likely help here. Have to think how to add c extensions..

mkorpela avatar Feb 11 '12 20:02 mkorpela