IgKh/minisat
A minimalistic and high-performance SAT solver
Developer Profile
IgKh
Discovered public repositories for IgKh in the GitHub catalog.
IgKh/Giyusit
Public repository.
IgKh/ttime
Technion Timetable Utility
IgKh/imgur-uploader
A Qt based imgur.com Uploader
IgKh/Open-Knesset
A project aimed at making the israeli Knesset more transparent. Python and Django based