PAndQ.jl

A computer algebra system for propositional logic

MIT License

Stars

View Code on GitHub Visit Website

Ecosystems: The Julia Language

Bot releases are hidden (Show)

PAndQ.jl - Latest Release

Published by jakobjpeters 7 months ago

PAndQ.jl - v0.2.0+1

Published by jakobjpeters about 1 year ago

PAndQ.jl - v0.1.0

Published by jakobjpeters about 1 year ago

Package Rankings

Top 33.57% on Juliahub.com

Badges

Extracted from project README

Related Projects

PartiallySeparableSolvers.jl

Trust-region methods with partitioned quasi-Newton approximations

27 May 2020 8

Soss.jl

Probabilistic programming via source rewriting

31 Dec 2017 410

Latexify.jl

Convert julia objects to LaTeX equations, arrays or other environments.

19 Oct 2017 562

Typstry.jl

The Julia to Typst interface

29 Jul 2023 28

SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

09 Feb 2020 502

JutulDarcy.jl

Darcy flow and reservoir simulator based on Jutul.jl

04 Apr 2022 53

Javis.jl

Julia Animations and Visualizations

20 Jul 2020 829

POMDPs.jl

MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially...

23 Jun 2015 633

DifferentialEquations.jl

Multi-language suite for high-performance solvers of differential equations and scientific machin...

11 May 2016 2,853

CUTEst.jl

Julia's CUTEst Interface

11 Feb 2015 47

PolyChaos.jl

A Julia package to construct orthogonal polynomials, their quadrature rules, and use it with poly...

15 Jan 2019 112

GeometricClusterAnalysis.jl

Geometric methods for Cluster Analysis

16 Aug 2021 3

OpenQuantumSystems.jl

Library for the numerical simulation of open quantum systems.

15 Jul 2020 13

Julog.jl

A Julia package for Prolog-style logic programming.

26 Dec 2019 170

Catlab.jl

A framework for applied category theory in the Julia language

04 Apr 2017 608