The Stack Overflow podcast is back! Listen to an interview with our new CEO.
131
reputation
1
8

Sayan Pal

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

1
answer
1
question
~3k
people reached

Top tags (2)

Score 1
Posts 2
Score 1
Posts 2

Top posts (2) All Questions Answers | Votes Newest

Badges (9)

Gold

Silver

1

Rarest

Bronze

8

Rarest