d3lph1/boollet (packagist): Boolean algebra toolkit for PHP
Keywords: boolean-algebra|normal-forms|sat|sat-solver|truth-table|zhegalkin-polynomial