0
I Use This!
Activity Not Available
Analyzed almost 4 years ago. based on code collected about 7 years ago.

Project Summary

Paradox is a finite-domain model finder for pure first-order logic with equality.

Paradox is a MACE-style model finder, which means that it translates a first-order problem into a
sequence of SAT problems, which are solved by a SAT solver (in our case MiniSat).

Paradox is the proud winner of the SAT/Models division of the CASC World Championship on First-Order
Automated Theorem Proving in 2003, 2004, 2005 and 2006.

Tags

haskell model proving theorem

In a Nutshell, paradox...

BSD 3-clause "New" or "Revised" License
Permitted

Place Warranty

Commercial Use

Modify

Distribute

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site

 Code locations have been removed since last analysis

At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.

Languages

Languages?height=75&width=75
Haskell
61%
C++
36%
2 Other
3%

30 Day Summary

Jun 17 2011 — Jul 17 2011

12 Month Summary

Jul 17 2010 — Jul 17 2011

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!