Razor is a tool for constructing finite models for first-order theories
-
Updated
Dec 19, 2022 - Rust
#
model-finding
Here are 4 public repositories matching this topic...
Model finder for higher-order logic
-
Updated
Dec 7, 2023 - OCaml
The C++ implementation of Multi-H algorithm, which is a multi-plane fitting technique. If you use this work for Academic purposes, please cite Barath, D. and Matas, J. and Hajder, L., Multi-H: Efficient Recovery of Tangent Planes in Stereo Images. 27th British Machine Vision Conference, 2016
-
Updated
Feb 26, 2019 - C++
AlleAlle: a Bounded Relational Model Finder with Data
-
Updated
Jan 9, 2022 - Rascal
Improve this page
Add a description, image, and links to the model-finding topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-finding topic, visit your repo's landing page and select "manage topics."