Skip to main content

Browse the archive

https://github.com/fslivovsky/qute
15 July 2022, 16:04:06 UTC
Revision 1bba80d90ce0bc0440be44c23f473c2617fb6210 authored by Friedrich Slivovsky on 05 March 2021, 15:20:14 UTC, committed by Friedrich Slivovsky on 05 March 2021, 15:20:14 UTC 
fixed error with Clang
1 parent 47dcfc6
Raw File
Tip revision: 1bba80d90ce0bc0440be44c23f473c2617fb6210 authored by Friedrich Slivovsky on 05 March 2021, 15:20:14 UTC
fixed error with Clang
Tip revision: 1bba80d
model_generator_simple.hh 
#ifndef model_generator_simple_hh
#define model_generator_simple_hh

#include "model_generator.hh"

namespace Qute {

class ModelGeneratorSimple : public ModelGenerator {

public:
  ModelGeneratorSimple(QCDCL_solver& solver) : ModelGenerator(solver) {}
  virtual std::vector<Literal> generateModel();

};

}

#endif
back to top