horn-sat

horn-sat JS library on GitHub horn-sat JS library on npm Download horn-sat JS library

Solves HORNSAT

Version 0.0.1 License MIT
horn-sat has no homepage
horn-sat JS library on GitHub
horn-sat JS library on npm
Download horn-sat JS library
Keywords
hornsatbooleansatisfiabilityclauseprolognormalform