IgKh/minisat
A minimalistic and high-performance SAT solver
A project aimed at making the israeli Knesset more transparent. Python and Django based
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A minimalistic and high-performance SAT solver
Public repository.
Technion Timetable Utility
A Qt based imgur.com Uploader