PAndQ.jl

A computer algebra system for propositional logic

MIT License

Stars
16
View Code on GitHub Visit Website
Ecosystems: The Julia Language

Issue Statistics

Past Year

All Time

Total Pull Requests
6
8
Merged Pull Requests
0
2
Total Issues
1
3
Time to Close Issues
27 minutes
4 months
Package Rankings
Top 33.57% on Juliahub.com
Badges
Extracted from project README
Documentation stable Documentation dev Documentation Continuous Integration Codecov Dependents
Related Projects
GeometricClusterAnalysis.jl

Geometric methods for Cluster Analysis

16 Aug 2021 3
Catlab.jl

A framework for applied category theory in the Julia language

04 Apr 2017 608
PolyChaos.jl

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

15 Jan 2019 112
POMDPs.jl

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

23 Jun 2015 633
Typstry.jl

The Julia to Typst interface

29 Jul 2023 28
Javis.jl

Julia Animations and Visualizations

20 Jul 2020 829
Julog.jl

A Julia package for Prolog-style logic programming.

26 Dec 2019 170
PartiallySeparableSolvers.jl

Trust-region methods with partitioned quasi-Newton approximations

27 May 2020 8
OpenQuantumSystems.jl

Library for the numerical simulation of open quantum systems.

15 Jul 2020 13
DifferentialEquations.jl

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

11 May 2016 2,853
SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

09 Feb 2020 502
Latexify.jl

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

19 Oct 2017 562
Soss.jl

Probabilistic programming via source rewriting

31 Dec 2017 410
JutulDarcy.jl

Darcy flow and reservoir simulator based on Jutul.jl

04 Apr 2022 53
CUTEst.jl

Julia's CUTEst Interface

11 Feb 2015 47