GitHub repository: xwavex/OpenSoT
Primary language: C++
Description: An Open Source Task Solving library with Constraints