MapleSAT

URI: https://gptkb.org/entity/MapleSAT
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:Boolean_satisfiability_problem
gptkbp:application gptkb:Boolean_satisfiability_problem
gptkbp:basedOn gptkb:Conflict-Driven_Clause_Learning
gptkbp:developedBy gptkb:University_of_Waterloo
gptkbp:firstReleased 2016
gptkbp:homeTo https://github.com/niklasso/minisat
gptkbp:influenced gptkb:MapleCOMSPS
gptkb:MapleLCMDistChronoBT
gptkbp:license gptkb:MIT_License
gptkbp:notableFor gptkb:Maple_framework
variable activity management
gptkbp:openSource true
gptkbp:usedIn gptkb:SAT_Competition
gptkbp:won gptkb:SAT_Competition_2016_Main_Track
gptkbp:writtenBy gptkb:C++
https://www.w3.org/2000/01/rdf-schema#label MapleSAT