Skip to content

small README update#291

Open
Tomaqa wants to merge 1 commit into
SMT-COMP:masterfrom
Tomaqa:readme
Open

small README update#291
Tomaqa wants to merge 1 commit into
SMT-COMP:masterfrom
Tomaqa:readme

small README update

b6e6213
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
tox (3.11)
succeeded Jul 15, 2026 in 1m 7s