Skip to content

stanford-oval/node-cvc4

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

63 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

node-cvc4: CVC4 bindings for Node.js

Build Status Coverage Status Dependency Status Greenkeeper badge

This package lets you use the CVC4 solver from a node.js application.