model-finding topic

Razor is a tool for constructing finite models for first-order theories

salmans

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: Effici...

danini

Model finder for higher-order logic

nunchaku-inria