From: Andrew Reynolds Date: Mon, 3 Apr 2017 14:38:54 +0000 (-0500) Subject: Merge pull request #142 from timothy-king/nlAlgMerge X-Git-Tag: cvc5-1.0.0~5853 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9912ac9a2fb9a3e03b0665e9e1fe271da580029f;p=cvc5.git Merge pull request #142 from timothy-king/nlAlgMerge Adding a model based axiom instantiation scheme for multiplication. M… --- 9912ac9a2fb9a3e03b0665e9e1fe271da580029f