Repositories

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed