search

metaborg / mb-rep

Apache License 2.0
2 stars 4 forks source link

Introduce new constraint solver for NaBL2 #10

Closed hendrikvanantwerpen closed 7 years ago

hendrikvanantwerpen commented 7 years ago

This removes the scope graph library, that is now part of the NaBL2 Java project in the nabl2 repo.