GitHub repository: turibe/swi-prolog-z3
Primary language: Prolog
Description: Using Z3 as a constraint solver inside SWI Prolog