-
Notifications
You must be signed in to change notification settings - Fork 0
/
DESCRIPTION
20 lines (20 loc) · 999 Bytes
/
DESCRIPTION
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Package: rpicosat
Type: Package
Title: R Bindings for the 'PicoSAT' SAT Solver
Authors@R: c(
person("Dirk", "Schumacher", email = "[email protected]", role = c("aut", "cre")),
person("Armin", "Biere", role = c("ctb", "cph"), comment = "Author and copyright holder of included PicoSAT code"))
Version: 1.0.1.9000
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/>.
License: MIT + file LICENSE
Encoding: UTF-8
ByteCompile: true
RoxygenNote: 7.1.2
URL: https://github.com/dirkschumacher/rpicosat
BugReports: https://github.com/dirkschumacher/rpicosat/issues
NeedsCompilation: yes
Depends: R (>= 3.1.0)
Suggests: testthat, covr