GitHub repository: AbdullinAM/stp-java
Primary language: Java
Description: java bindings for STP solver