search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Rtac support runOnGoals_list #66

Closed gmalecha closed 9 years ago

gmalecha commented 9 years ago

Closed 422c7ab