maxsat topic

List maxsat repositories

Timetabler

Stars

Forks

Watchers

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

sukrutrao

constraint-satisfaction-problem

cpp

custom-constraints

iit-hyderabad

MLIC

Stars

Forks

Watchers

A new framework to generate interpretable classification rules

meelgroup

interpretable-classifcation

maxsat

partition-based-learning

weka