Home My Page Projects Nunchaku
Summary Activity Lists News SCM Files Mediawiki

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2015-06-23 09:10
Activity Ranking: 519
View project Statistics
View list of RSS feeds available for this project.
Latest File Releases
Package Version Date Notes Download
nunchaku 0.4 2017-02-13 nunchaku - Release Notes nunchaku 0.4 - Download
Public Tools
Mailing Lists (1 public mailing list)
SCM Repository (Git: 300 updates, 7 adds)
Project description

A stand-alone higher-order model finder based on SMT