gricad-gitlab.univ-grenoble-alpes.fr / tava / baxmc
A CEGAR-based solver for maximum model counting
étoiles: 0
forks: 1
issues ouvertes:
licence: cecill-b
langage:
dépendances analysées:
0
date de création: il y a plus de 3 ans
date de mise à jour: il y a plus d'un an
dernière synchronisation: il y a 10 mois
No dependencies found