search

MICS-Lab / lincs

Learn and Infer Non Compensatory Sortings
https://mics-lab.github.io/lincs/
GNU Lesser General Public License v3.0
2 stars 1 forks source link

NCS - Formulation logique par séparation - SAT #10

Closed LaurentCabaret closed 10 months ago

jacquev6 commented 10 months ago

Done in main branch, will be published in v0.7.0.