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.
Release Date:
Topics:
Licenses:
Ratings and Reviews
Be the first to post a text review of Dolphin Project. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Dolphin SAT Dolphin SAT 0.1.1 file released: dsat-0.1.1.tar.gz
First release. No ChangeLog. Check Homepage: http://dolphin-project.sf.net
-
File released: /Dolphin SAT/Dolphin SAT 0.1.1/dsat-0.1.1.tar.gz
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
HELENA - the High LEvel Net Analyzer
Helena is an explicit state model checker for high-level Petri nets.
-
eXplode
eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.
Dolphin Project Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
