Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/computational-problem-solving/js-2sat

:satisfied: 2-Satisfiability library for JavaScript
https://github.com/computational-problem-solving/js-2sat

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

Last synced: 15 days ago
JSON representation

:satisfied: 2-Satisfiability library for JavaScript

Host: GitHub
URL: https://github.com/computational-problem-solving/js-2sat
Owner: computational-problem-solving
License: agpl-3.0
Created: 2015-08-10T09:06:00.000Z (over 9 years ago)
Default Branch: master
Last Pushed: 2023-12-15T14:42:04.000Z (about 1 year ago)
Last Synced: 2024-11-10T04:37:30.921Z (3 months ago)
Topics: 2-sat, agpl, algorithms, computer-science, graphs, javascript, polynomial-time, reductions, sat-solver
Language: JavaScript
Homepage: https://aureooms.github.io/js-2sat
Size: 159 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 1
Metadata Files:
- Readme: README.md
- License: LICENSE

Awesome Lists containing this project

README

        [@aureooms/js-2sat](https://make-github-pseudonymous-again.github.io/js-2sat)

==

2-Satisfiability library for JavaScript.

See [docs](https://make-github-pseudonymous-again.github.io/js-2sat).

Parent is [@aureooms/js-algorithms](https://github.com/make-github-pseudonymous-again/js-algorithms).

[![License](https://img.shields.io/github/license/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://raw.githubusercontent.com/make-github-pseudonymous-again/js-2sat/master/LICENSE)

[![NPM version](https://img.shields.io/npm/v/@aureooms/js-2sat.svg?style=flat)](https://www.npmjs.org/package/@aureooms/js-2sat)

[![Build Status](https://img.shields.io/travis/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://travis-ci.org/make-github-pseudonymous-again/js-2sat)

[![Coverage Status](https://img.shields.io/coveralls/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://coveralls.io/r/make-github-pseudonymous-again/js-2sat)

[![Dependencies Status](https://img.shields.io/david/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://david-dm.org/make-github-pseudonymous-again/js-2sat#info=dependencies)

[![devDependencies Status](https://img.shields.io/david/dev/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://david-dm.org/make-github-pseudonymous-again/js-2sat#info=devDependencies)

[![Code Climate](https://img.shields.io/codeclimate/github/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://codeclimate.com/github/make-github-pseudonymous-again/js-2sat)

[![NPM downloads per month](https://img.shields.io/npm/dm/@aureooms/js-2sat.svg?style=flat)](https://www.npmjs.org/package/@aureooms/js-2sat)

[![GitHub issues](https://img.shields.io/github/issues/make-github-pseudonymous-again/js-2sat.svg?style=flat)](https://github.com/make-github-pseudonymous-again/js-2sat/issues)

[![Documentation](https://make-github-pseudonymous-again.github.io/js-2sat/badge.svg)](https://make-github-pseudonymous-again.github.io/js-2sat/source.html)