Gain visibility into your network behavior through continuos monitoring of network and servers, real-time tracking of configuration changes, analysing bandwidth bottlenecks, inspecting firewall logs, and thereby avert network disasters.Advertisement
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
This SourceForge project page is obsolete. Please visit http://www.musicpd.org/18 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.