Hacker News new | ask | show | jobs
by wyldfire 4045 days ago
Mathworks makes a sat solver kinda product that does those kinds of proofs. Pretty interesting concept, IMO.