R Bindings for the 'PicoSAT' SAT Solver

picosat_added_original_clauses | The number of original clauses |

picosat_decisions | The number of decisions during a search |

picosat_propagations | The number of propagations during a search |

picosat_sat | Solve SAT problems with the 'PicoSAT' solver |

picosat_seconds | Time spent in 'picosat_sat' |

picosat_solution_status | Get the solution status |

picosat_variables | The number of variables in a model |

picosat_visits | The number of visits during a search |

Embedding an R snippet on your website

Add the following code to your website.

For more information on customizing the embed code, read Embedding Snippets.