FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

computational-problem-solving/js-2sat: :satisfied: 2-Satisfiability library for JavaScript · GitHub

Name		Name	Last commit message	Last commit date
doc		doc
lib		lib
src		src
test/src		test/src
.codacy.yml		.codacy.yml
.codeclimate.yml		.codeclimate.yml
.gitignore		.gitignore
.jshintrc		.jshintrc
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
esdoc.json		esdoc.json
package.json		package.json

Repository files navigation

@aureooms/js-2sat

2-Satisfiability library for JavaScript. See docs. Parent is @aureooms/js-algorithms.

About

😆 2-Satisfiability library for JavaScript

aureooms.github.io/js-2sat

2-sat agpl algorithms computer-science graphs javascript polynomial-time reductions sat-solver

AGPL-3.0 license

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages

Back | FazBrowse Home | New Git URL