portage-ng / portage / sci-mathematics / kissat / 4.0.4
portage-ng --info
>>> Printing information for: portage://sci-mathematics/kissat-4.0.4


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Keep-it-simple and clean bare metal SAT solver written in C
homepage : 
   http://fmv.jku.at/kissat/ https://github.com/arminbiere/kissat/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   MIT
eapi : 
   9
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
defined_phases : 
   compile
   configure
   install
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   kissat-4.0.4.gh.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   [not set]

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   [weak block] >=x11-terms/kitty-0.27

pdepend : 
   [not set]