Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "model-finder" keyword
razor-chase 0.1.0
razor-chase implements a variation of The Chase algorithm to find models for theories in geometri...1 version - Latest release: over 4 years ago - 1 dependent package - 1.2 thousand downloads total - 55 stars on GitHub - 1 maintainer
razor 0.1.0
razor is a command-line tool for constructing finite models for first-order theories.1 version - Latest release: over 4 years ago - 571 downloads total - 55 stars on GitHub - 1 maintainer
Related Keywords