1 search result for "author:"John D. Ramsdell <ramsdell@mitre.org>""

Showing 1 - 1
  1. chase
    Documentation
    Model finder for geometric theories using the chase
    John D. Ramsdell <ramsdell@mitre.org>
    1.5
    BSD-3-Clause
    Used by 0 other packages
    27 Jan 2023