Toggle navigation
Globalping
NEW
About Us
Network
Stats
Sponsors
Tools
Purge cache
Convert from
GitHub
Google Hosted Libraries
unpkg
Skypack
esm.sh
Resources
Blog
Newsletter
Documentation
esm.run
API Documentation
jsDelivr
Globalping
Github
Twitter
Discord
horn-sat
mikolalysenko
js
Solves HORNSAT
Version
0.0.1
License
MIT
Keywords
horn
sat
boolean
satisfiability
clause
prolog
normal
form
INSTALL
Version:
Static
Static
Latest Patch
Latest Minor
Latest Major
Open in jsfiddle
Learn more
Readme
Files
Statistics
Browse CDN
Statistics
Requests
0
Bandwidth
0
Top version -
0
Full horn-sat Download Stats
Share
Keywords
horn
sat
boolean
satisfiability
clause
prolog
normal
form
Get a badge for your package