Code

QF_NRA prototype#6

Code

Merged

paultristanwagner merged 7 commits intomainpaultristanwagner/satisfiability-checking:mainfrom feature/non-linear-real-arithmeticpaultristanwagner/satisfiability-checking:feature/non-linear-real-arithmeticCopy head branch name to clipboardFeb 21, 2024

+3,390-14

Commits

Commits on Jan 19, 2024

• WIP: Non-Linear Real Arithmetic

  paultristanwagner

  committed
  b1f01fc

Commits on Feb 13, 2024

• WIP on cylindrical algebraic decomposition

  paultristanwagner

  committed
  2d6056f

• WIP on cylindrical algebraic decomposition

  paultristanwagner

  committed
  801d79f

Commits on Feb 15, 2024

• WIP: CAD algorithm

  paultristanwagner

  committed
  84718c3

Commits on Feb 16, 2024

• WIP on CAD

  paultristanwagner

  committed
  53fa18d

Commits on Feb 19, 2024

• Improve multivariate polynomial, fix bugs in parser

  paultristanwagner

  committed
  171c0e7

Commits on Feb 21, 2024

• QF_NRA prototype

  paultristanwagner

  committed
  e24078a