universeawaits/ISLB_PCNF_verifier
The 1st labwork on ISLB subject, 6th term; checking is formula provided has principal conjuctive normal form & generating tests for user knowledge control
JavaScript
No issues in this repository yet.
The 1st labwork on ISLB subject, 6th term; checking is formula provided has principal conjuctive normal form & generating tests for user knowledge control
JavaScript
No issues in this repository yet.