SMTcut

Source Code

Source code is available on GitLab.

Citing SMTcut

If you use SMTcut and publish your work, please cite it as:

@incollection{LuedersSMTcut,
  author  = {Christoph L{\"u}ders},
  editor  = {P. Fontaine and K. Korovin and I. S. Kotsireas and P. R{\"u}mmer and S. Tourret},
  title   = {Computing Tropical Prevarieties With Satisfiability Modulo Theories {(SMT)} Solvers},
  booktitle = {Proc. {SC-Square} 2020, Co-Located With {IJCAR} 2020},
  series  = {{CEUR} Workshop Proceedings},
  volume  = 2752,
  pages   = {189--203},
  publisher = {CEUR-WS},
  year    = 2020,
  month   = jun #{--}# jul,
  url     = {https://ceur-ws.org/Vol-2752/paper14.pdf}
}