Pinference

0.2.6

Probability Inference for Propositional Logic

0packages depend

1.6Kdownloads / year

–test coverage

12/13checks pass

Overview

About

Maintained by PierGianLuca Porta ManaFirst published 2025-10-062 releasesCRAN page ↗GitHub ↗

Implementation of T. Hailperin's procedure to calculate lower and upper bounds of the probability for a propositional-logic expression, given equality and inequality constraints on the probabilities for other expressions. Truth-valuation is included as a special case. Applications range from decision-making and probabilistic reasoning, to pedagogical for probability and logic courses. For more details see T. Hailperin (1965) doi:10.1080/00029890.1965.11970533, T. Hailperin (1996) "Sentential Probability Logic" ISBN:0-934223-45-9, and package documentation. Requires the 'lpSolve' package.

Install

R (CRAN)pak (dev)Ubuntu (r2u)Fedora (COPR)openSUSE (OBS)

install.packages("Pinference", repos = "https://cloud.r-project.org/")

Installs the current CRAN release. Prebuilt binaries on Windows and macOS.

if (!requireNamespace("pak", quietly = TRUE))
  install.packages("pak", repos = "https://cloud.r-project.org/")
pak::pak("pglpm/Pinference")

Development version from pglpm/Pinference. Installs pak first if it is not already available.

Release

# enable cranapt (r2u) if it is not already set up, then install
grep -rqs r2u.stat.illinois.edu /etc/apt/sources.list /etc/apt/sources.list.d/ \
  || curl -fsSL https://raw.githubusercontent.com/eddelbuettel/r2u/master/inst/scripts/add_cranapt_noble.sh | sudo bash
sudo apt install -y r-cran-pinference

Fast Ubuntu binaries via r2u (no compilation). The cranapt setup runs once and is skipped when it is already enabled.

bspm (used by r2u) also needs make: sudo apt install make

# enable the iucar/cran COPR if it is not already present, then install
ls /etc/yum.repos.d/*iucar*cran*.repo >/dev/null 2>&1 \
  || sudo dnf copr enable -y iucar/cran
sudo dnf install -y R-CRAN-Pinference

RPMs from the iucar/cran COPR, rebuilt from CRAN.

For install.packages() integration in R, also: sudo dnf install R-CoprManager

# add the autoCRAN OBS repo (Tumbleweed) if it is missing, then install
zypper -q lr | grep -qi autoCRAN \
  || sudo zypper addrepo https://download.opensuse.org/repositories/devel:/languages:/R:/autoCRAN/openSUSE_Tumbleweed/devel:languages:R:autoCRAN.repo
sudo zypper install -y R-Pinference

RPMs auto-built from CRAN on openSUSE OBS (Tumbleweed).

Health

CRAN checks

1NOTE12OK

Failing flavors

NOTE r-devel-linux-x86_64-debian-gcc

Slowest check: 1.3 min · r-oldrel-macos-x86_64

Code health

None

Tests · ratio 0.00

not tracked

Coverage

100%

Documentation · exports

Dependencies · direct

Check history

NOTE2026-08-01
12 OK · 1 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE
OK2026-03-10
14 OK · 0 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE

Documentation

READMEYes · 681 wordsVignettesYes · dynamicpkgdown siteNoNEWSYes · 100% structuredCode of conductNoContributing guideNo

Examples that run: 100%
Documented parameters: 100%
Return-value docs: 100%
References docs: 100%

Downloads

1.6K

CRAN downloads in the past year

Rank #23,504 · ~5/day · ~137/mo

Releases R versions

Daily download trend is not available in this view yet.

11630 days

41290 days

1.6K1 year

Compare downloads with other packages →

Also on71 r2u2 autocran

Repository

GitHub ↗ pglpm/pinference

2Stars

0Forks

0Open issues

0Open PRs

6Releases

75Commits

1Contributors

booleanlogicprobabilityinference

License AGPL-3.0 · 75 commits · Last activity 2026-07-16 · 0% stars, 30d

Stars over time

2025-10-06 · 12026-07-07 · 2

Repository practices

Upstream repositoryBeta

3 development-tooling and community-health practices detected across 2 families in the upstream repository

Checks run against github.com/pglpm/pinference on 2026-08-02.

Continuous integration (1)

GitHub Actions

CRAN release process (2)

cran-comments.mdCRAN-SUBMISSION

How this is detected·Detection ruleset v1 (2026-07-18)

Dependencies

Declared dependencies

3 external dependencies (excludes base and recommended)

Depends (1)

R >= 3.5.0

Imports (1)

lpSolve

LinkingTo (0)

none

Suggests (2)

knitr rmarkdown

Enhances (0)

none

Dependency license breakdown →

Reverse dependencies

0direct

0indirect

Nothing depends on this yet.

Code & Tests

People & History

People (1)

Maintainer (1)

PierGianLuca Porta Mana

Author, Maintainer, Copyright holder

Authors (1)

PierGianLuca Porta Mana

Author, Maintainer, Copyright holder

PierGianLuca Porta Mana

Author, Maintainer, Copyright holder

Package Timeline

2 releases. Pick two to compare their code metrics. R releases are shown for context.

R
R 4.6.0 released · 2026-04-24
0.2.6Latest
2025-11-30 · current release · diff ↗
0.2.5
2025-10-06
R
R 4.5.0 released · 2025-04-11

Package metadata

First published: 2025-10-06
Total releases: 2 / 1 yrs
License: AGPL (>= 3) OSI
Minimum R: ≥ 3.5.0
Download size: 38 KB
Installed size: not tracked yet
With dependencies: not tracked yet

Report a problem with this page →