Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-util
/gini
A fast SAT solver
Screenshots
http://www.iri-labs.com
gini-0.1_pre20161014
~amd64 ~arm ~x86
doc debug pie test
View
Download
Browse
License: BSD
Overlay:
go-overlay
(layman)
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs