This repository is not active
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
The 1st labwork on ISLB subject, 6th term; checking is formula provided has principal conjuctive normal form & generating tests for user knowledge control
JavaScript
This repository is not active