GitHub repository: soonhokong/dreal3
Primary language: SMT
Description: New NRA implementation