GitHub repository: JacobStoren/SolveSpaceLib
Primary language: C++
Description: An insolated version of the constraint solver from SolveSpace: libslvs