[![Build Status](https://travis-ci.org/babelsberg/backtalk.js.svg)](https://travis-ci.org/babelsberg/backtalk.js) 

# backtalk.js
A port of the BackTalk finite domain solver to JavaScript