An Open Source Task Solving library with Constraints