pysmt / pysmt

git clone https://github.com/pysmt/pysmt.git

pySMT: A library for SMT formulae manipulation and solving

stars, 24h · #40,664

+~0

stars, 7 days · #40,738

+~0

stars, 30 days · #40,876

641

★ total

150

forks · 54 open issues

2026-10-20 · 641 ★ 2026-10-22 · 641 ★

LanguagePython

LicenseApache-2.0

Created2014-12-01 (11y ago)

Last push16d ago

OwnerOrganization