From: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date: Tue, 25 Feb 2020 17:51:10 +0000 (-0600)
Subject: Sets & Relations Java example (#3816)
X-Git-Tag: cvc5-1.0.0~3605
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9301607b58a3b74dcea73c500c6391d6a51093f8;p=cvc5.git

Sets & Relations Java example (#3816)

Fixes [(Bugzilla #677)](https://github.com/CVC4/cvc4-projects/issues/25).
---