rex/propositionalLogic
1
0
Fork 0
mirror of https://github.com/Azumabashi/nim-propositional-logic/ synced 2026-01-14 21:31:43 +00:00
Code Issues Projects Releases Packages Wiki Activity
No description
231 commits 1 branch 16 tags 211 KiB
Find a file
Exact
Azumabashi 73c6cca080 [release] v3.3.0
2023-10-19 09:02:12 +09:00
.github/workflows execute CI when run-test.yaml is modified 2023-10-19 09:00:08 +09:00
src make only operators of higher level to be poped 2023-09-22 21:57:11 +09:00
tests add test for just parsing 2023-09-22 21:59:12 +09:00
.gitignore ignore docs directory 2023-08-21 13:58:49 +09:00
LICENSE Initial commit 2023-08-06 15:45:19 +09:00
propositionalLogic.nimble [release] v3.3.0 2023-10-19 09:02:12 +09:00
README.md add description about the version of library the docs available online describes 2023-08-31 15:33:19 +09:00

README.md

nim-propositional-logic

Propositional logic library for Nim.

Installation

nimble install propositionalLogic

Usage

You can refer the documentation of this libary here. Note that only the docs of the latest version of this library is available online. For uses need to read docs for older versions of this library, download source code from releases and build with nimble by yourself.

Also, test programs could be additional examples of how to use this library.

License

MIT