search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Fix power being interpreted as bolding in readme #46

Closed horenmar closed 8 months ago