Uploaded image for project: 'Sat4j'
  1. Sat4j

core

Summary

Description

core SAT engine, based on the minisat framework.