dolphin project

We have hosted the application dolphin project in order to run this application in our online workstations with Wine or directly.

Quick description about dolphin project:

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.

Audience: Information Technology, Science/Research.
User interface: Console/Terminal.
Programming Language: C, C++, Haskell, Scheme.
Categories: