aureooms/js-2sat

[@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)