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: 7 months 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 (about 10 years ago)
• Default Branch: master
• Last Pushed: 2023-12-15T14:42:04.000Z (almost 2 years ago)
• Last Synced: 2025-02-10T07:05:34.381Z (8 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)