Issues

• Linux wheels are too large

  stanford-centaur/smt-switch#560 · Filter by author CyanoKobalamyne opened on Sep 12, 2026

• Simplify dependency handling

  stanford-centaur/smt-switch#489 · Filter by author CyanoKobalamyne opened on Mar 20, 2026

• Support STP?

  stanford-centaur/smt-switch#368 · Filter by author Gy-Hu opened on Dec 2, 2024
  1

• TermTranslator enhancements.

  stanford-centaur/smt-switch#331 · Filter by author kunalsheth opened on Sep 7, 2023

• SMT-Lib parser is strict

  stanford-centaur/smt-switch#330 · Filter by author kunalsheth opened on Sep 7, 2023

• TermTranslator unhelpful rewrite.

  stanford-centaur/smt-switch#326 · Filter by author kunalsheth opened on Jul 14, 2023
  2

  

• Can this library also be used as a parser etc. for SMT problems?

  stanford-centaur/smt-switch#324 · Filter by author jparsert opened on Feb 13, 2023
  6

  

• Question about make_term()

  stanford-centaur/smt-switch#320 · Filter by author ZhiyuanYan opened on Nov 29, 2022
  9

• failing test

  stanford-centaur/smt-switch#319 · Filter by author yoni206 opened on Nov 23, 2022
  

• Build scripts assume fixed paths for transitive dependencies

  stanford-centaur/smt-switch#307 · Filter by author CyanoKobalamyne opened on Oct 24, 2022

• Potential secutiry vulnerability in the shared library which smt-switch depends on. Can you help upgrade to patch versions?

  stanford-centaur/smt-switch#299 · Filter by author andy201709 opened on Mar 31, 2022
  3

• Handle symbol re-declaration in incremental mode correctly

  stanford-centaur/smt-switch#256 · Filter by author makaimann opened on Jul 21, 2021

• Generic solver fails SortingNetwork test

  bug
  stanford-centaur/smt-switch#240 · Filter by author makaimann opened on May 19, 2021
  4

  

• Segfault in logging solver with Yices2 in portfolio solving

  bug
  stanford-centaur/smt-switch#211 · Filter by author makaimann opened on Mar 11, 2021

• Use processes instead of threads for the portfolio solver

  stanford-centaur/smt-switch#206 · Filter by author amaleewilson opened on Mar 10, 2021
  

• Support getters in parser

  enhancement
  stanford-centaur/smt-switch#190 · Filter by author makaimann opened on Mar 5, 2021

• Consider changing check-sat-assuming interface

  enhancement
  stanford-centaur/smt-switch#153 · Filter by author makaimann opened on Jan 5, 2021

• Consider adding infrastructure to check if term is from a solver

  enhancement
  stanford-centaur/smt-switch#134 · Filter by author makaimann opened on Dec 9, 2020
  

• Enable sort construction in CVC4

  stanford-centaur/smt-switch#99 · Filter by author makaimann opened on Aug 28, 2020

• Simplification: Only use vector form of make_term in solver backends

  enhancement
  stanford-centaur/smt-switch#52 · Filter by author makaimann opened on Mar 19, 2020
  

• Test functions over booleans

  bug
  stanford-centaur/smt-switch#36 · Filter by author makaimann opened on Feb 12, 2020
  6

  

• Have make_term(int, sort) handle booleans

  stanford-centaur/smt-switch#34 · Filter by author makaimann opened on Feb 12, 2020
  

• Move tests to googletest

  stanford-centaur/smt-switch#33 · Filter by author makaimann opened on Feb 12, 2020
  

• Combine Boolector Sort implementations into one class

  stanford-centaur/smt-switch#10 · Filter by author makaimann opened on Aug 16, 2019 · Unify Boolector AbsSort Implementation
  

• uninstall target does not remove smt-switch directory

  stanford-centaur/smt-switch#7 · Filter by author makaimann opened on Jul 25, 2019