Lingeling

URI: https://gptkb.org/entity/Lingeling
GPTKB entity
Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:Boolean_satisfiability_problem
gptkbp:affiliation gptkb:Johannes_Kepler_University_Linz
gptkbp:application gptkb:Boolean_satisfiability_problem
gptkbp:category gptkb:software
gptkbp:developer gptkb:Armin_Biere
gptkbp:firstReleased 2009
gptkbp:license gptkb:GPL
gptkbp:programmingLanguage C
gptkbp:usedIn gptkb:SAT_Competition
gptkbp:website http://fmv.jku.at/lingeling/
gptkbp:bfsParent gptkb:CDCL_algorithm
gptkb:CDCL_SAT_solvers
gptkb:SAT_solvers
gptkbp:bfsLayer 7
https://www.w3.org/2000/01/rdf-schema#label Lingeling