Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "razor" 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-fol 0.1.0
razor-fol is a library for parsing and syntactic manipulation of first-order theories.1 version - Latest release: over 4 years ago - 2 dependent packages - 1 dependent repositories - 1.53 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