1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
12 #include <sys/types.h>
18 #include "solver_interface.h"
19 #include "classlist.h"
21 class IncrementalSolver {
25 void addClauseLiteral(int literal);
26 void finishedClauses();
27 void freeze(int variable);
32 bool getValue(int variable);
41 void readSolver(void * buffer, ssize_t size);