| Name : R-rpicosat
| |
| Version : 1.0.1
| Vendor : obs://build_opensuse_org/devel:languages:R
|
| Release : lp153.2.13
| Date : 2024-06-14 11:12:51
|
| Group : Development/Libraries/Other
| Source RPM : R-rpicosat-1.0.1-lp153.2.13.src.rpm
|
| Size : 0.11 MB
| |
| Packager : (none)
| |
| Summary : R Bindings for the \'PicoSAT\' SAT Solver
|
Description :
Bindings for the \'PicoSAT\' solver to solve Boolean satisfiability
problems (SAT). The boolean satisfiability problem asks the question if
a given boolean formula can be TRUE; i.e. does there exist an
assignment of TRUE/FALSE for each variable such that the whole formula
is TRUE? The package bundles \'PicoSAT\' solver release 965
< http://www.fmv.jku.at/picosat/>.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/R:/autoCRAN/openSUSE_Leap_15.3/x86_64 |
