2 ms·
It's just using a library, you can get the same effect in any language with a constraint satisfaction library.
by conistonwater 6y ago
It's just using a library, you can get the same effect in any language with a constraint satisfaction library.
- redcodenl 6y agoCompletely agree here, the entire 'solver' is a library there. However, it does show how cool and versatile SAT solvers are for people who haven't used or seen them yet.