Submit Software
  1. Home
  2. Windows
  3. Other
  4. Dolphin Project

Dolphin Project 0.1.1

License: Free ‎File size: N/A
‎Users Rating: 3.5/5 - ‎2 ‎votes
Download

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

VERSION HISTORY

  • Version Dolphin%20SAT%200.1.1 posted on 2008-03-02
    Several fixes and updates
  • Version Dolphin SAT 0.1.1 posted on 2008-03-02

Program Details

Related Programs

  • Object Kernel and RunTime Library Free

    This is a tiny educational library : smalltalk like objects, quick memory allocator, network marshall/unmarshall, dynamic module, debug, quick and dirty two-way link between our objects and mozilla javascript or python object

  • College StatsPac Calculator Free

    Expect More than Graphing! - Full refund, 24 hrs if not satisfied with App!^_^!-Comprehensive Statistics--with Complete Graphing package- The StatsPac offers:8 Discrete Probability Functions,

  • TOEIC () 600 Free

    Logitalk (Listening) - (TOEIC) 600 . (Listening) . . ' TOEIC () 600 ' 600 .

  • UniquePrimer Free

    A simple python command line script for batch design of unique PCR primers. Primers are designed using Primer3 and blasted against a custom database (e.g. a genome). Only unique primers with a single match are returned.

  • A Prosperous Way Down Free Trial

    A Prosperous Way Down, published by University Press of ColoradoBuy this DRM-free ebook today! Powered by Aldiko.A Prosperous Way Down considers ways in which a future with less fossil fuel could be peaceful and prosperous, i

  • DICOM Confidential Free

    DICOM Confidential project develops an open source DICOM (Digital Imaging and Communications in Medicine) de-identification toolkit that provides the necessary flexibility to account for different de-identification requiremen

  • MPVS Free

    Practical tool to help students to deeply understand the classical programming methodology based on specifications, loop invariants, and decomposition into subproblems.

  • DuMP3 - duplicate & similar file finder Free

    DuMP3 is a duplicate and similar file finder. It finds exact duplicate binaries by hash, similar text files by substring content, images (JPG, BMP, GIF, PNG, etc) by color and audio files (MP3, WAV, OGG, etc) by wave data. Fu

  • AU FLUKA Tools Free

    Provides auxiliary tools for the Monte Carlo particle transport code FLUKA (www.fluka.org).

  • STAS Software Free

    STASS stands for Sound Treatment, Analysis and Synthesis Software. It will provide ingeneers and searchers easy-to-use as well as performant tools for sound analysis (spectro, sona and so on), treatment (filters, noise-gate)