monotonic_solver

A monotonic solver designed to be easy to use with Rust enum expressions (by advancedresearch)

Monotonic_solver Alternatives

Similar projects and alternatives to monotonic_solver

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better monotonic_solver alternative or higher similarity.

monotonic_solver reviews and mentions

Posts with mentions or reviews of monotonic_solver. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-01-14.
  • Prop v0.8 released! Propositional theorem proving in Rust (Logic)
    7 projects | /r/rust | 14 Jan 2022
    Have you checked out the repositories under the AdvancedResearch organization? I recommend checking out the generic monotonic solver (https://github.com/advancedresearch/monotonic_solver) and the generic linear solver (https://github.com/advancedresearch/linear_solver).

Stats

Basic monotonic_solver repo stats
1
44
1.8
about 3 years ago

advancedresearch/monotonic_solver is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of monotonic_solver is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com