Depending on how you are using it, you could look into an actual constraint solver like Gecode or a more deterministic logic language like Dyna. The latter woul

Depending on how you are using it, you could look into an actual constraint solver like Gecode or a more deterministic logic language like Dyna. The latter would probably require some implementation work - the only production-quality implementations I know of are proprietary. http://www.gecode.org/ http://www.gecode.org/ https://github.com/nwf/dyna https://github.com/nwf/dyna