incremental-sat-solver 0.1.7

Company: Sebastian Fischer

Date Added: August 19, 2013 | Visits: 227

Report Broken Link
Printer Friendly Version

Product Homepage
Download (37 downloads)

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.<br /><br />incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and query bindings of variables incrementally.

Requirements: No special requirements

Platforms: Mac, Mac OSX

Keyword: Algorithm, Bindings, Boolean, Constraints, Davisputnamlogemannloveland, Formulas, Haskell, Implementation, Incrementally, Incrementalsatsolver, Library, Problemincrementalsatsolver, Query, Satisfiability, Solve, Source, Variables

Users rating: 0/10

License: Shareware

Size: 10.24 KB

USER REVIEWS

More Reviews or Write Review

INCREMENTAL-SAT-SOLVER RELATED

Programming - Hipmunk 5.2.0.2 Hipmunk is a free, open source, fast, simple, portable Haskell implementation of the Chipmunk 2D physics engine. Hipmunk contains the Chipmunk rev4 source and Haskell bindings to all of its functions. It is completely self-contained.	81.92 KB
Programming - The Glasgow Haskell Compiler 6.6 The Glasgow Haskell Compiler is a state-of-the-art, open source, compiler and interactive environment for the functional language Haskell..	6.7 MB
Programming - BoolVar/PB 1.0 Beta BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of...	748.54 KB
Delphi Utilities - HS Compress C Source Library 1.0 HS Compress is a software library (supplied with full C source code) which provides a programmer with a lossless compression / decompression algorithm based on RLE (runtime length encoding) The library may be used in telecommunications application...	324 KB
Multimedia & Graphics - sdl-tinygl alpha3 TinyGL on SDL is a free implementation of TinyGL library (mini-openGL) under multiplatform SDL library. Also, it is a fixed-point fast implementation for low platform as GP32 console.	262.62 KB
Programming - hsndfile 0.5.0 Free and open source Haskell bindings for libsndfile hsndfile is a library that represents the Haskell bindings for libsndfile. Libsndfile is a comprehensive C library that will help you read and writ a large number of sound file formats.	20.48 KB
Programming - PBKDF2 0.3 PBKDF2 is a free and open source Haskell implementation of the Password-Based Key Derivation Function.	10.24 KB
Programming - Haskell regexpr 0.5.1 Regular expression Haskell library like Perl/Ruby's regular expressions. Description This package has a module RegexPR. And RegexPR export functions matchRegexPR and gsubRegexPR and so on. * matchRegexPR :: String ->...	10.24 KB
Programming - collective.z3cform.wizard 1.3.2 This library implements a simple z3c.form-based wizard. The wizard is composed of multiple steps. Each step is a form. Data is stored in a session until the user clicks the Finish button on the last step. In order to make good use of...	30.72 KB
Libraries - NeEM 0.6 NeEM is a library that provides an implementation of epidemic multicast (also called probabilistic or gossip-based) in wide-area networks by using multiple TCP/IP connections in a non-blocking fashion. Epidemic multicast protocols achieve stable...	87.04 KB

NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING

Macintosh Software - MailVita OST to PST Converter for Mac 1.0 Get complete conversion of OST files to Outlook PST format with MailVita OST to PST Converter for Mac. The application is well-designed by the developers to provide 100% accurate and safe results. The interface is user-friendly so non-technical...	54.17 MB
Macintosh Software - ToolsCrunch Mac EML to PST Converter 1.0 Using the ToolsCrunch MAC EML to PST Converter, it is an affordable and verified application to provide quality results all the time. The users can easily check all features of the application with EML to PST Conversion freeware. It is a best...	49.61 MB
Macintosh Software - EasyEDA PCB Designer for MacOS 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Macintosh Software - VideoSolo Video to GIF Converter (Mac) 1.0.12 How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...	46.51 MB
Macintosh Software - VideoSolo Free Video Converter (Mac) 1.0.18 VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...	75.29 MB
Programming - AnyMP4 iPhone GPS Spoofer for Mac 1.0.8 With AnyMP4 iPhone GPS Spoofer for Mac, you own one of the best GPS location spoofers for iOS devices. It lets you set the virtual GPS location within a few clicks. Whats more, you can play location-based games from anywhere in the world easily....	72.48 MB
Programming - MacX Free iMovie Video Converter 4.1.8 MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...	22.92 MB
Programming - TclAppleScript 2.0 Beta The AppleScript command dates back to the days of the Classic MacOS, and was originally designed as a stopgap command to fill the place of "exec" on the old Classic MacOS. Much of its original code and commands are now obsolete, and its public API...	276.48 KB
Programming - SwapList 0.1 Alpha Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.	10.24 KB
Programming - Custom Console 2.5 Write Your own Language or Batch Based Executable Programs in Java Runtime Environment. Use Custom JAR files as Command Line commands with this custom command line console program. Simply write your JAR files to accept Main String Arguments and...	286.72 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts