Nigma

beta

A CDCL SAT solver with partial backtracking

Add a Review
1 Download (This Week)
Last Update:
Download nigma-1.1.tar.gz
Browse All Files

Description

Nigma Web Site

Categories

License

MIT License

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of Nigma!

Additional Project Details

Programming Language

C++

Registered

2014-03-31
Screenshots can attract more users to your project.
Features can attract more users to your project.