[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Add examples to README

Subject: Add examples to README
From: Chris Warburton
Date: Tue, 31 Oct 2017 22:01:07 +0000
Resolution: fixed
State: resolved

Check that they work!

Follow-Ups:
- Re: Add examples to README
  - From: Chris Warburton

Prev by Date: Replace tests/example.smt2 with tests/test-theory.smt2
Next by Date: Publish standalone commands
Previous by thread: Re: Replace tests/example.smt2 with tests/test-theory.smt2
Next by thread: Re: Add examples to README
Index(es):
- Date
- Thread