MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
ScalaMIT
Stargazers
- artob@asimov-platform
- asemic-horizonBotafogo Bay
- atakemuraTokyo, Japan
- cdunhamAustin, TX
- danhlephuoc
- davakian
- fly51flyPRIS
- hkrsndDarmstadt, Germany
- hzyjerryUC Berkeley
- ianchanning@charphq
- idanov@quantumblack
- jblaszczykMidnight Coding
- JeffCarpenterCanada
- kennethbruskiewiczVancouver, Canada
- KraksINRIA/ENS; Tufts
- lolz0r
- maximvekslerSavy
- mhlr
- philzook58Draper
- quantumfrost
- rbnx
- rohithadassanayakeSRI LANKA
- rweSeattle, WA
- sahil1105USA
- search99
- sebdumancicDelft University of Technology
- sizur
- sk413025Academia Sinica
- smrjansTalentica
- sschnugGermany / BW
- tusharbihaniPune
- v217
- velavokrFirebolt
- vogelh0wsBerlin
- vpw
- webyrdUniversity of Alabama at Birmingham