mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-25 08:54:35 +00:00
Code Activity

Remove unused sat_par files.

Browse source 
These look like they were replaced by `sat_parallel` files and
aren't currently built or used.
This commit is contained in:
Bruce Mitchener 2018-10-02 09:19:14 +07:00
parent 808d2eb60f
commit 489582f7fa
3 changed files with 0 additions and 85 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/sat/sat_solver.h
View file

@ -37,7 +37,6 @@ Revision History:
#include "sat/sat_drat.h"
#include "sat/sat_parallel.h"
#include "sat/sat_local_search.h"
#include "sat/sat_par.h"
#include "util/params.h"
#include "util/statistics.h"
#include "util/stopwatch.h"