summaryrefslogtreecommitdiff
path: root/src/prop/cryptominisat/Solver/BothCache.h
blob: 72457319db61547f4c94406a14b0b57e06f2d47e (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#ifndef BOTHCACHE_H
#define BOTHCACHE_H

#include "Solver.h"

namespace CMSat {

class BothCache
{
    public:
        BothCache(Solver& solver);
        bool tryBoth();

    private:
        Solver& solver;
};

}

#endif //BOTHCACHE_H
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback