mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

moved bit_blaster_tactic to bv_tactics

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-21 22:37:34 -07:00
parent 59fc7acc48
commit a33913979d
3 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_make.py
View file

@ -59,9 +59,9 @@ add_lib('sat_strategy', ['assertion_set', 'sat_tactic'])
add_lib('arith_tactics', ['core_tactics', 'assertion_set', 'sat', 'sat_strategy'])
add_lib('nlsat_tactic', ['nlsat', 'sat_tactic', 'arith_tactics'])
add_lib('subpaving_tactic', ['core_tactics', 'subpaving'])
add_lib('bv_tactics', ['tactic'])
add_lib('bv_tactics', ['tactic', 'bit_blaster'])
add_lib('fuzzing', ['ast'])
add_lib('fpa', ['core_tactics', 'bit_blaster', 'sat_tactic'])
add_lib('fpa', ['core_tactics', 'bv_tactics', 'sat_tactic'])
add_lib('smt_tactic', ['smt'])
add_lib('extra_cmds', ['cmd_context', 'subpaving_tactic', 'arith_tactics'])
add_lib('sls_tactic', ['tactic', 'normal_forms', 'core_tactics', 'bv_tactics'])

0
src/bit_blaster/bit_blaster_tactic.cpp → src/bv_tactics/bit_blaster_tactic.cpp
View file

0
src/bit_blaster/bit_blaster_tactic.h → src/bv_tactics/bit_blaster_tactic.h
View file