UNPKG

@aureooms/js-2sat

Version:

2-Satisfiability code bricks for JavaScript

aureooms.github.io/js-2sat/

aureooms/js-2sat

19 lines (15 loc) • 1.57 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
[@aureooms/js-2sat](https://aureooms.github.io/js-2sat) == 2-Satisfiability library for JavaScript. See [docs](https://aureooms.github.io/js-2sat). Parent is [@aureooms/js-algorithms](https://github.com/aureooms/js-algorithms). [![NPM license](http://img.shields.io/npm/l/@aureooms/js-2sat.svg?style=flat)](https://raw.githubusercontent.com/aureooms/js-2sat/master/LICENSE) [![NPM version](http://img.shields.io/npm/v/@aureooms/js-2sat.svg?style=flat)](https://www.npmjs.org/package/@aureooms/js-2sat) [![Build Status](http://img.shields.io/travis/aureooms/js-2sat.svg?style=flat)](https://travis-ci.org/aureooms/js-2sat) [![Coverage Status](http://img.shields.io/coveralls/aureooms/js-2sat.svg?style=flat)](https://coveralls.io/r/aureooms/js-2sat) [![Dependencies Status](http://img.shields.io/david/aureooms/js-2sat.svg?style=flat)](https://david-dm.org/aureooms/js-2sat#info=dependencies) [![devDependencies Status](http://img.shields.io/david/dev/aureooms/js-2sat.svg?style=flat)](https://david-dm.org/aureooms/js-2sat#info=devDependencies) [![Code Climate](http://img.shields.io/codeclimate/github/aureooms/js-2sat.svg?style=flat)](https://codeclimate.com/github/aureooms/js-2sat) [![NPM downloads per month](http://img.shields.io/npm/dm/@aureooms/js-2sat.svg?style=flat)](https://www.npmjs.org/package/@aureooms/js-2sat) [![GitHub issues](http://img.shields.io/github/issues/aureooms/js-2sat.svg?style=flat)](https://github.com/aureooms/js-2sat/issues) [![Documentation](https://aureooms.github.io/js-2sat/badge.svg)](https://aureooms.github.io/js-2sat/source.html)