Happy user here! I've used it for a couple of projects. Here's an open source solver for a fun presumably-NP casual video game: https://github.com/asah/tents

Happy user here! I've used it for a couple of projects. Here's an open source solver for a fun presumably-NP casual video game: https://github.com/asah/tents-and-trees https://github.com/asah/tents-and-trees As with other solvers, it can be a little difficult to debug, so I recommend starting small and adding constraints and known test examples.