#include <stdio.h>

#include "ccadical.h"

extern "C" {

void* ccadical_wrapper_init (void)
{
        return ccadical_init();
};

void ccadical_wrapper_release (CCaDiCaL* p)
{
        ccadical_release(p);
};

void ccadical_wrapper_add (CCaDiCaL* p, int lit)
{
        ccadical_add(p, lit);
};

// copypasted from picosat...
void ccadical_wrapper_add_lits (CCaDiCaL* ctx, int* lits)
{
        const int * p;
        int lit;
        for (p = lits; lit = *p; p++)
                ccadical_add (ctx, lit);
        ccadical_add (ctx, 0);
};

void ccadical_wrapper_assume (CCaDiCaL* p, int lit)
{
        ccadical_assume(p, lit);
};

int ccadical_wrapper_solve (CCaDiCaL* p)
{
        return ccadical_solve(p);
};

int ccadical_wrapper_val (CCaDiCaL* p, int lit)
{
        return ccadical_val(p, lit);
};

#if 0
int main()
{
        printf ("hello\n");
};
#endif

}