Code

Sympy#26

Code

Merged

nguyenthanhvuh merged 21 commits intodevdynaroars/dig:devfrom sympydynaroars/dig:sympyCopy head branch name to clipboardOct 17, 2021

+917-710

Commits

Commits on Oct 6, 2021

• begin converting to sympy

  nguyenthanhvuh

  committed
  771f9f3

  Copy full SHA for 771f9f3

• begin converting to sympy .. 2

  nguyenthanhvuh

  committed
  95ddeb0

  Copy full SHA for 95ddeb0

Commits on Oct 7, 2021

• begin converting to sympy .. 3

  nguyenthanhvuh

  committed
  89fbe72

  Copy full SHA for 89fbe72

• begin converting to sympy .. 4

  nguyenthanhvuh

  committed
  fc93576

  Copy full SHA for fc93576

Commits on Oct 8, 2021

• support ieqs

  nguyenthanhvuh

  committed
  80ae752

  Copy full SHA for 80ae752

• ieqs

  nguyenthanhvuh

  committed
  77092d0

  Copy full SHA for 77092d0

• some opts to instantiation

  nguyenthanhvuh

  committed
  d8f66d7

  Copy full SHA for d8f66d7

• multiprocessing on instantiation, fix z3 parsing issue

  nguyenthanhvuh

  committed
  885fc5a

  Copy full SHA for 885fc5a

Commits on Oct 9, 2021

• using xreplace instead of subs

  nguyenthanhvuh

  committed
  e83ea98

  Copy full SHA for e83ea98

• a lot faster with xreplace

  nguyenthanhvuh

  committed
  be7a019

  Copy full SHA for be7a019

• updates

  nguyenthanhvuh

  committed
  5538cc0

  Copy full SHA for 5538cc0

Commits on Oct 10, 2021

• logs of minor changes

  nguyenthanhvuh

  committed
  b755657

  Copy full SHA for b755657

Commits on Oct 11, 2021

• max deg

  nguyenthanhvuh

  committed
  d397b1f

  Copy full SHA for d397b1f

Commits on Oct 13, 2021

• update README for sympy

  nguyenthanhvuh

  committed
  c7edae0

  Copy full SHA for c7edae0

• Update README.md

  nguyenthanhvuh

  authored
  a802e54

  Copy full SHA for a802e54

• update README for sympy

  nguyenthanhvuh

  committed
  9988ded

  Copy full SHA for 9988ded

• update check requirements

  nguyenthanhvuh

  committed
  82f57f7

  Copy full SHA for 82f57f7

• Merge branch 'sympy' of github.com:unsat/dig into sympy

  nguyenthanhvuh

  committed
  f14cc73

  Copy full SHA for f14cc73

Commits on Oct 14, 2021

• various changes, but mostly minor

  nguyenthanhvuh

  committed
  3564795

  Copy full SHA for 3564795

Commits on Oct 17, 2021

• doctest

  nguyenthanhvuh

  committed
  0b280f2

  Copy full SHA for 0b280f2

• update doctest anddocument

  nguyenthanhvuh

  committed
  fb2ff6b

  Copy full SHA for fb2ff6b