Name		Name	Last commit message	Last commit date
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
backtalk-test.js		backtalk-test.js
backtalk.js		backtalk.js
karma.conf.js		karma.conf.js
package.json		package.json

Repository files navigation

backtalk.js

A port of the BackTalk finite domain solver to JavaScript

About

A port of the BackTalk finite domain solver to JavaScript

BSD-3-Clause license

Custom properties

2 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages