Submit Software
  1. Home
  2. Linux
  3. Other
  4. XML-SAT

XML-SAT

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

A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.

VERSION HISTORY

  • Version release posted on 2010-04-24
    Several fixes and updates
  • Version N/A posted on 2010-04-24

Program Details

Related Programs

  • TimeSignalForDroid Free

    The hour every hour and notify you by vibrating.Notice the time to Japanese voice.

  • SVATS Free

    SVATS [Safety Verification Analysis added To Spice] is a Pyhton written EDA tool used for adding repetitive analysis capabilities to perform FMEAs on analog and mixed analog-digital electronic circuits using Berkeley Spice-l

  • Cube Language Specification Free

    Cube language is the new programming language, based on the new aproach: multi-dimensional programming. The purpose of this project is to invite professionals to an open discussion about the language and create a specificatio

  • Arrowhead Collector Free

    The "must have" application for surface collectors of arrowheads. Here is a highlight of the features that you'll find to be very useful:- for a newly found artifact record its location with your phone's GPS- take 'in situ' p

  • eYe project Free

    eYe Project is a distribution of Sambar Webserver, MySql database and PhP in a Windows enviroment. Complete configured, ready to use. There are also lots of modules available for use in this project. The concept is to setup a

  • Apache Analyzer Free

    Apache Analyzer is a Java application package for parsing and analysis of Apache logs. Reports are prepared as PDF files. OCEAN GenRap is used to analyze the data. Check out General Info in Docs page.

  • OVal - object validation framework Free

    OVal is an extensible object validation framework for Java 5 or later. Annotations (@NotNull) or XML configuration files can be used to express class constraints. OVal can optionally use AspectJ to enforce automatic validatio

  • NaturalOWL Free

    NaturalOWL generates descriptions of individuals and classes from OWL ontologies that have been annotated with linguistic and user modeling resources expressed in RDF. Currently it supports English and Greek. NaturalOWL can b

  • NetBeans Source Viewer Service Plugin Free

    A NetBeans plugin exposing a simple TCP service giving external clients basic Java source code viewing and navigating capabilities. Contributed by softwarepearls.com. Coded by Ivo Tripunovic and Laurence Vanhelsuw.

  • Spam Agent - SMS Filter Free

    Tired of SMS spam? Spam Agent is a smart SMS filter that uses machine learning techniques to detect and block spam.Forget about cumbersome blacklists, simply mark unsolicited messages as spam and the agent will learn from you