gpo.zugaina.org

Search Portage & Overlays:

dev-util/gini

A fast SAT solver

Screenshots

  • gini-0.1_pre20161014
    ~amd64 ~arm ~x86
    doc debug pie test

    View      Download      Browse     License: BSD   
    Overlay: go-overlay (layman)