smt-solver

Node.js SMT solvers

Usage no npm install needed!

<script type="module">
  import smtSolver from 'https://cdn.skypack.dev/smt-solver';
</script>

README

smt-solver

Node.js SMT solvers