Submit Software
  1. Home
  2. Windows
  3. Other
  4. Parallel Sat4J

Parallel Sat4J 0.01

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

VERSION HISTORY

  • Version 0.01 posted on 2008-03-26
    Several fixes and updates
  • Version 0.01 posted on 2008-03-26

Program Details

Related Programs

  • Visualgos Free

    Visualgos is a collection of visualizations for algorithms written in Flash. You can see all of the visualizations on http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Free

    wxWorkshop is an IDE framework and RAD tool for developing applications based on the wxWidgets cross-platform GUI framework for C++ and Python (wxPython). It features a high-performance editor for designing an application's G

  • Unit Test Framework Free

    A C++ unit test framework for Windows with both a graphical and console display that utilizes only the Windows API to aid compatability with all Windows C++ compilers and frameworks

  • Contact: AndroidBinding Demo Free Trial

    This is another demo for Android Binding, which is based on the official Android Contact Manager Sample: http://developer.android.com/resources/samples/ContactManager/index.htmlThis is an example showing how using Android Bin

  • Poetica Studios Java Library Free

    A general Java library used by all Poetica Studios Java software products. The library includes utilities ranging in use from serialization to arrays to debugging and includes many helpful classes such as object pointers and

  • Remote Code Execution for BlueJ Free

    This project extends the BlueJ Java IDE. It aims to add networking capabilities to the BlueJ interface through BlueJ's extensions API. Since BlueJ is most suited for teaching Java to new programmers this project will focus o

  • Radiation calculator Free Trial

    The app calculates dose rates etc. assuming a point source in vacuum and linear attenuation in shielding materials. Isotopes and shielding materials can be added, deleted or modified.The predefined gamma rate constants and at

  • Fermion Programming Language Free

    The Fermion Programming Language is a dynamic high-level, object oriented, case insensitive programming language. The simplicity of the language makes Fermion a good learning and prototyping language for all levels of program

  • Nmdepend Free

    Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in co

  • Awakener Free

    Awakener aims to provide a Java library for solving practical, real world optimisation problems by means of genetic algorithms (turnkey algorithms for >= 90% of industry problems). Awakener extends Sleepwalker with specifi