• Home
  • Most Popular
  • Submit
  • About Us
  • Contact Us

Softpile

Free Downloads

Categories
  • Home
  • Most Popular
  • Communications
  • Desktop
  • Games & Entertainment
  • Graphic Apps
  • Network & Internet
  • Security & Privacy
  • System Utilities
Last Chance To See Reader 11.5
This app is a replacement for the 1992 PC & Mac software 'Last Chance To See...' ...
JXCirrus Diary for Mac 4.4.03
JXCirrus Diary simplifies busy schedules by transforming to-do lists and calendars into a comprehensive plan. Ideal ...
RoboMail Mass Mail Software for Mac 6.5.0
RoboMail is an email marketing software that features a built-in email server enabling users to send ...
MacSonik MBOX Converter Tool 22.12
MacSonik MBOX Converter is a reliable software that converts MBOX mails to different file formats and ...
AnyMP4 DVD Creator for Mac 6.2.30
AnyMP4 DVD Creator for Mac can make DVDs from various video formats like MP4, MOV, M4V, ...
PhotoX Batch Watermark Creator for Mac 6.3.0
PhotoX is user-friendly software that enables you to quickly watermark your photos to prevent any unauthorized ...
QXPMarkz 3.0
QXPMarkz allows for direct conversion of QuarkXPress files to other applications, including Adobe InDesign, Affinity Publisher, ...
AnyMP4 Mac Video Converter Ultimate 9.2.26
AnyMP4 Mac Video Converter Ultimate is a versatile software that can convert 4K videos to various ...
JXCirrus Finance for Mac 3.5.03
JXCirrus Finance provides a solution for managing personal finances by allowing users to monitor their bank ...
AnyMP4 Android Data Recovery for Mac 2.1.6
AnyMP4 Android Data Recovery for Mac is a powerful software that enables the recovery of deleted ...
Home Mac OS X incremental-sat-solver Download

incremental-sat-solver

September 29, 2009
Introducing an incremental SAT solving library implemented in Haskell for ease of use. The library offers a straightforward solution with simple and customizable functionalities for SAT problems as they arise.
Version 0.1.7
License BSD
Platform Mac OS X
Supported Languages English
Homepage calizo.sourceforge.net
Developed by Sebastian Fischer
If you're looking for a reliable and efficient software to solve boolean formulas, look no further than incremental-sat-solver. This Haskell library is completely free and open source, making it accessible to anyone who wants to utilize its powerful algorithm for the boolean satisfiability problem.

But incremental-sat-solver doesn't just stop at solving formulas in one go. With this software, you have the ability to add constraints and query bindings of variables incrementally. This customizable feature allows for a more tailored approach to solving complex boolean formulas.

And best of all, incremental-sat-solver is incredibly user-friendly. Whether you're a seasoned programmer or just getting started in the world of software development, you'll find this library intuitive and easy to use.

Overall, if you're in need of an effective and versatile software for solving boolean formulas, look no further than incremental-sat-solver. This library's implementation of the Davis-Putnam-Logemann-Loveland algorithm is second to none, and its incremental capabilities make it a top choice for those looking for a more customized approach to the boolean satisfiability problem.
What's New

Version 0.1.7: N/A

Free Download 4K
333
  • Share on:

Most Popular

  1. JForum 2.1.8
    180
  2. BirthdayScanner 2.3.2
    87
  3. Jon's Phone Tool 3.7.2
    82
  4. myRecipes 2.4
    77
  5. Follow That Page 0.2.1
    76
  6. Hot Off the Press 1.0
    73
  7. Desktop 1.3.0.30
    71
  8. Realmz Updater 8.0.7
    71
  9. Fuzzy Time 1.12
    69
  10. Grammarian Pro 1.8.6 Beta 2 / 1.8.5
    69

Related Downloads

Kakuro Epic (Mac)
Enjoy playing and solving Kakuro puzzles on your Mac with our software. ...
Gorille
A Java app designed to test XML file content, with open-source code ...
MPGCalc
MPGCalc is a software that calculates the miles per gallon and can ...
BTrace
A Java platform compatible, free-of-cost and dynamic safe tracing system to monitor ...
Manuelito
Manuelito is a Java tool that decrypts PTM patterns of proteins using ...
K'lia
K'lia is a Marathon Map Viewer software that allows users to view ...
Zukunft
Zukunft is a Bowtie theme software that enables minimum text-based changes to ...
Jumpbykey for Thunderbird
The Thunderbird add-on enables message selection based on pre-existing sorting criteria such ...
Brinie
Mac-compatible arcade game available at no cost.
Adiumy AquaDot
Adiumy AquaDot is a free update to the Adiumy dock icon that ...
Copyright © 1999-2025 Softpile Free Downloads
  • Most Popular
  • Submit
  • About Us
  • Contact Us
  • Privacy Policy
  • Disclaimer
  • Terms of Use

Can we use your data to tailor ads for you?

Our partners will collect data and use cookies for ad personalization and measurement.

By choosing "I agree", closing this pop-up or clicking on any element on the page, you agree to the use of cookies to help us provide you with a better user experience.

Learn how Softpile and our partners collect and use data.

You can change your choice at any time in our privacy center.

Cookie Settings

Our website stores four types of cookies. At any time you can choose which cookies you accept and which you refuse. You can read more about what cookies are and what types of cookies we store in our Cookie Policy.

are necessary for technical reasons. Without them, this website may not function properly.

are necessary for specific functionality on the website. Without them, some features may be disabled.

allow us to analyse website use and to improve the visitor's experience.

allow us to personalise your experience and to send you relevant content and offers, on this website and other websites.