@hackage smt dependencies

11 results

Core data structures and operations

Utilities

Unicode alternatives for common functions and operators

Core data structures and operations

SmallCheck support for the Tasty test framework.

Modern and extensible testing framework

Interface to Satisfiability Modulo Theories solvers

A property-based testing library

Core data structures and operations

Interface to Satisfiability Modulo Theories solvers

Robust, reliable performance measurement and analysis