Project structure:
gqsat_model_minisat
directory contains the proposed implementation of MiniSat with functionality to consult a trained branching model via C++ PyTorch API (LibTorch)gqsat_custom_trainer
directory contains the Graph-Q-SAT code used for training the branching model (all the important changes can be found in thegqsat/models.py
file, the original file is located atgqsat/models_.py
)
The graduation thesis paper contains all implementation details and results of experiments performed using the code from this repository