Ruby interface to the zChaff boolean satisfiability solver. Includes a demonstration program that solves Sudoku puzzles as boolean satisfiability problems.


Registered: 2006-04-26 00:50
Activity Percentile: 0%
View project activity statistics.
Developer Info
Project Admins:
Tim Burks
Developers:
1 [View Members]
 

 

Latest File Releases
Package Version Date Notes / Monitor Download
rchaff1.0.0 May 18, 2006 Release Notes - Monitor this package Download
 

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 0 open /0 total )
Bug Tracking System

 - Support Requests ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 0 open /0 total )
Patch Tracking System

 - Feature Requests ( 0 open /0 total )
Feature Request Tracking System

Forums Public Forums ( 2 messages in 2 forums )
 

  
Latest News
No News Items Found