Mentions légales du service

Skip to content
Blame History Permalink
  • makaimann's avatar
    Increment to version 0.3.0 (#292) · 150415c4
    makaimann authored 
    * Increment to 0.3.0

* Minor fix to setup-bitwuzla script

* README updates: Boolector->Bitwuzla, git link

* Install python3 toml
    150415c4