See, measure, share, and continuously improve how your organization supports strategic business needs with Samanage’s IT Service Desk and Asset Management solution. With our cloud-based solution deployment comes easily in days, not months, and productivity increases organically via constant innovation and enhancement of our multi-tenant platform.Sponsored Listing
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
This SourceForge project page is obsolete. Please visit http://www.musicpd.org/42 weekly downloads
A graph-coloring-solver using sat-solvers. Goal of this project is to provide a clean, extensible and efficient implementation in Haskell with well satsolver-integration, good tools to evaluate different encodings and nice bridges to real world problems.
dependently typed functional programming language
While is a Haskell implementation of the While language found into the Nielson book. Semantics with Applications.