GitHub repository: rasheedja/LPPaver
Primary language: JavaScript
Created: 2022-06-23T21:30:32Z
Description: An automated prover targeting problems that involve nonlinear real arithmetic.