Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Sep 1, 2020

Fix cvc4 install script for mac os
Ying1123
committed

Commits on Jun 22, 2020

Merge pull request #644 from pysmt/issue_643
mikand
authored
Update pysmt/oracles.py

mikand
and
Marco Gario
authored

Commits on May 19, 2020

Fixed issue #643
mikand
committed

Commits on Apr 26, 2020

Commits on Apr 15, 2020

Merge pull request #637 from pysmt/issue_633
Marco Gario
authored

Commits on Apr 14, 2020

Disabled multiprocessing in nosetests. This fixes #633
mikand
committed
Fixed a test that could fail if only BDD and Z3 are installed (the test failed with 'No Solver is available for logic QF_SLIA')
mikand
committed

Commits on Apr 7, 2020

Fixed minor issue in doc. Thanks to Gianluca Redondi for signalng the issue.
mikand
committed

Commits on Mar 29, 2020

Commits on Mar 28, 2020

add clear pending pop decorator to assertions property of solvers.
enmag
committed

Commits on Mar 26, 2020

Merge pull request #597 from pysmt/i596/yices_overflow
mikand
authored

Commits on Mar 19, 2020

Merge pull request #626 from gfrances/patch-1
mikand
authored
Correct small typo in docs
Guillem Francès
authored

Commits on Jan 27, 2020