About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review

mac default iconincremental-sat-solver for Mac Publisher's description

Simple, Incremental SAT Solving as a Haskell library

incremental-sat-solver is a free and open source Haskell library that provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm for the boolean satisfiability problem.

incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and query bindings of variables incrementally.

System Requirements:

Program Release Status: Minor Update
Program Install Support: Install and Uninstall

Is incremental-sat-solver for Mac your software?

Manage your software

Most Popular

mac default icon twttr.media.types.instagram For Mac 1.4
Permission is hereby granted, free of charge
mac default icon Fiddler For Mac 1.0
Objective-C libraries for calculating sunrise & sunset times
mac default icon Wassup For Mac 2.5
Let's you know what's up with your Java environment.
mac default icon libdvdcss for Mac 1.2.11
Free and open source library that will help you access DVDs
mac default icon CodeRunner For Mac 1.3
Edit and run code in 10 different programming languages with CodeRunner...

Related Category

» Other (625)
» Tools (3122)