1 Branch 0 Tags

Name		Name	Last commit message	Last commit date
Latest commit timfel fix backtalk tests May 27, 2016 2766533 · May 27, 2016 History 4 Commits
.travis.yml		.travis.yml	move backtalk out of babelsberg-js repo, convert to es6	Aug 10, 2015
LICENSE		LICENSE	move backtalk out of babelsberg-js repo, convert to es6	Aug 10, 2015
README.md		README.md	Rename `README.md to README.md	Aug 10, 2015
backtalk-test.js		backtalk-test.js	fix backtalk tests	May 27, 2016
backtalk.js		backtalk.js	move backtalk out of babelsberg-js repo, convert to es6	Aug 10, 2015
karma.conf.js		karma.conf.js	move backtalk out of babelsberg-js repo, convert to es6	Aug 10, 2015
package.json		package.json	move backtalk out of babelsberg-js repo, convert to es6	Aug 10, 2015

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

Report repository

Releases

No releases published

Packages

No packages published

Languages

JavaScript 100.0%