A hybrid neural-symbolic constraint solver with cognitive reasoning capabilities
A simple library for reading beencoded files.