mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-18 20:03:38 +00:00
Code Activity

add name

Browse source
This commit is contained in:
Doug Woos 2017-01-30 20:54:24 -08:00
parent a9d61d48ae
commit b00c4d2e64
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tactic/sine_filter.cpp
View file

@ -9,6 +9,10 @@ Abstract:
Tactic that performs Sine Qua Non premise selection Tactic that performs Sine Qua Non premise selection
Author:
Doug Woos
Revision History: Revision History:
--*/ --*/

4
src/tactic/sine_filter.h
View file

@ -9,6 +9,10 @@ Abstract:
Tactic that performs Sine Qua Non premise selection Tactic that performs Sine Qua Non premise selection
Author:
Doug Woos
Revision History: Revision History:
--*/ --*/