164
reputation
1
7

Sayan Pal

My NPM package for automated satisfiability checking for propositional (Boolean) formula: pps, and the GitHub source.

1
answer
1
question
~5k
people reached

Top tags (3)

Score 3
Posts 2
Score 3
Posts 2
Score 3
Posts 2

Top posts (2) All Questions Answers | Votes Newest

Badges (8)

Gold

Silver

1

Rarest

Bronze

7

Rarest