Giters

GaloisInc / Simplify

An automated solver for unsorted first-order logic over the AUFLIA theory.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Simplify

Simplify is a automated solver for unsorted first-order logic over the AUFLIA theory. This repository contains both Simplify itself and an Eclipse plugin for Simplify.

About

An automated solver for unsorted first-order logic over the AUFLIA theory.

Languages

Language:Java 58.4%Language:Makefile 28.6%Language:Shell 8.6%Language:C 3.0%Language:R 1.5%