Class NativePicosatSolver