johnyob/dromedary

Split `Constraints` library into `Constraints` and `Unifier`

Closed this issue · 1 comments

johnyob commented

Constraints is split into the constraint definition and a solver library.

We wish to split the Constraints library into 2 separate libraries:

  • Unifier: General purpose first-order unification library
  • Constraints: Constraint definition and solver (no sub-libraries)
johnyob commented

Completed by PR #46.