Code

counterexampleコマンドの追加#53

Code

Merged

hiroshi-cl merged 3 commits intoproof-ninja:masterproof-ninja/BIRDS:masterfrom hiroshi-cl:feat/counterexamplehiroshi-cl/BIRDS:feat/counterexampleCopy head branch name to clipboardJan 8, 2025

+1,038

Commits

Commits on Nov 24, 2024

• add counterexample command

  hiroshi-cl

  committed
  02158f2

  Copy full SHA for 02158f2

• add examples

  hiroshi-cl

  committed
  3d977be

  Copy full SHA for 3d977be

• counterexampleで元のBIRDSにあったoptionを指定できるように

  hiroshi-cl

  committed
  4f31719

  Copy full SHA for 4f31719