$ yarn start

? Which algorithm do you want to execute? bruteforce
? Enter a valid expression: (c AND d) OR (d AND ~c AND f) OR (e AND b)
Is this expression SAT?
A: Yes! Of 32 combinations found undefined that will make this expression truthy.

Execution Time: 4.023ms

$ yarn start

? Which algorithm do you want to execute? verifier
? Enter a valid expression: (c AND d) OR (d AND ~c AND f) OR (e AND b)
? Enter a value for c: true
? Enter a value for d: true
? Enter a value for f: true
? Enter a value for e: true
? Enter a value for b: true

Result:  Yes! It is SAT.
Execution Time: 0.493ms
Done in 19.08s.

$ yarn build

$ yarn start

$ yarn cli:dev

$ yarn dev