Repository navigation

js-2sat

Public

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

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