Topic: "propositional-logic"
skulltech/logic-assignments 📦
Assignments for the course COL703 — Logic for Computer Science @ IIT Delhi.
Language: OCaml - Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

sakapon/Blaze
The library for basic mathematics.
Language: C# - Size: 248 KB - Last synced at: 20 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1

cepalle/expert-system 📦
Expert System for Propositional Logic calculus
Language: Clojure - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

Wadaboa/RandomKCNFSolver
Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI
Language: Python - Size: 288 KB - Last synced at: 7 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

div5yesh/ai-explorer
Rogue-like AI agent for an adaptation of DreamQuest game.
Language: Python - Size: 167 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 3

cjsmeele/properst
A Propositional Logic REPL
Language: Haskell - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

hoangchunghien/AI-Planning
Implement a planning search algorithm to solve deterministic logistics planning problems.
Language: Python - Size: 527 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

clamesc/Propositional-Logic-Parser
TUM_AI_WS1516: The parser module reads ASCII strings and converts them into propositional logic formula. The entailment module reads two parsed propositional logic formulae A and B, and then it decides whether A != B or not.
Language: Python - Size: 128 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

afiore/proplog
A toy tool for parsing and evaluation propositional logic expressions
Language: Scala - Size: 22.5 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

Kujawadl/Gentzen
Automated Propositional Logic Proofs
Language: TypeScript - Size: 1.93 MB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

vitid/CSCI561
Code repository for CSCI561: Foundations of Artificial Intelligence
Language: Python - Size: 1.11 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

adelekap/PropLogic_Wumpus
Homework 3 using propositional logic-based agent
Language: Python - Size: 1.1 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 4

brendanzab/agda-logic-playground
Messing around with propositional logic in Agda
Language: Agda - Size: 1.95 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

sp-muramutsa/knights
A knowledge-based system solving Knights and Knaves puzzles using propositional logic and model checking to demonstrate AI concepts like symbolic reasoning and knowledge representation.
Language: Python - Size: 10.7 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0

Vicky-Christofilopoulou/Logic
This assignment covers key topics in logic, theorem proving, and knowledge representation relevant to Artificial Intelligence.
Language: Prolog - Size: 4.59 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

ChiefMonk/klm-algorithms
Implementation and Evaluation of KLM-Style Defeasible Entailment and Explanation Algorithms - A project of the University of Cape Town
Language: Java - Size: 518 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Cubix1729/fitch-proof
A simple language for making propositional proofs in a Fitch-style natural deduction system
Language: Python - Size: 168 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

AskarAbdullaev/pylogex
Python utilities for studying logic including Finite Automata, Oracles, Kripke Structures, Process Algebra, LTL, CTL, Petri Nets, Propositional Logic, BCP, DPLL, Resolution, Blocked Clauses, Equational Reasoning, Term Matching, Term Reduction, Critical Pairs, Knuth-Bendix Completion, etc.
Language: Jupyter Notebook - Size: 1.51 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

M-Nad/Bloxorz_solver
Using propositional logic modeling and SAT solver to beat the strategy game Bloxorz 🧩
Language: Python - Size: 15.5 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

domamaric/UUI
Python solutions for Introduction to AI laboratory exercises.
Language: Python - Size: 1.21 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

GutBla/TOOL_Editor_Proposicion_Logica
Editor de Proposiciones Lógicas que permite a los usuarios escribir, editar y calcular fórmulas lógicas de manera interactiva. Con soporte para valores lógicos y representación en LaTeX, es una herramienta útil para aprender y trabajar con lógica proposicional.
Language: JavaScript - Size: 815 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

GutBla/TOOL_Generador_de_Tabla_de_Verdad
Herramienta interactiva para generar tablas de verdad a partir de expresiones proposicionales. Está inspirado en la implementación de la Universidad de Stanford y permite a los usuarios ingresar fórmulas lógicas utilizando tanto la sintaxis de LaTeX como símbolos lógicos comunes (¬, ∧, ∨, →, ↔).
Language: JavaScript - Size: 2.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

jimmygian/cs50ai_minesweeper
My AI implementation of the classic MineSweeper game! Solution for an assignment in Harvard's CS50 AI course, demonstrating practical knowlefge of propositional logic.
Language: Python - Size: 182 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

RaphaelBonatti/propositional-logic-prover-python
A propositional logic prover implemented using resolution refutation.
Language: Python - Size: 43 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

kanavgoyal898/propLog
propLog implements common logical operations such as NOT, AND, OR, IMPLIES, IFF, and XOR. The project supports the evaluation of logical expressions based on a model and checks if a knowledge base entails a query.
Language: Python - Size: 352 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

mklblm/KR-SAT-Solver
A built-from-scratch Python-based SAT Solver implementing the DPLL-recursive algorithm. Research and implementations for the Knowledge Representation course at Vrije Universiteit Amsterdam
Language: Python - Size: 10.3 MB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

costowell/theorem-prover
Verify equation truth using a custom logical language
Language: Rust - Size: 51.8 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Josgtg/propositional-logic-evaluator
A simple program that evaluates porpositional logic expressions
Language: Rust - Size: 80.1 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

d1mavares/Minesweeper
AI to play Minesweeper. Minesweeper is a puzzle game that consists of a grid of cells, where some of the cells contain hidden “mines.” Clicking on a cell that contains a mine detonates the mine, and causes the user to lose the game. Clicking on a “safe” cell reveals a number that indicates how many neighboring cells contain a mine.
Language: Python - Size: 153 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

soaibsafi/limboole-vscode
Visual Studio Code extension for Limboole
Language: TypeScript - Size: 15.9 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

maexled/logic-quiz-app
This project was part of the pratical course: Logic App Development
Language: Dart - Size: 20.7 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

MrMulia/WumpusWorld
ACO494: Foundations of Artificial Intelligence Project #1
Language: Java - Size: 187 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

musty-ess/Minesweeper-AI-Agent-Using-Propositional-Logic
In this project, an AI agent that plays Minesweeper was implemented, utilizing propositional logic to make informed decisions about which cells to click.
Language: Python - Size: 178 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

musty-ess/Knights-and-Knaves-Logic-Puzzle-Solver-AI
This project is a Python-based solver for Knights and Knaves logic puzzles, based on the classic puzzles by Raymond Smullyan. In these puzzles, each character is either a knight, who always tells the truth, or a knave, who always lies.
Language: Python - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

kanarus/rust_de_morgan
An example of proving De Morgan's laws in Rust type system
Language: Rust - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

thabomoloi/extrc
A defeasible reasoning tool using Rational Closure and Lexicographic Closure.
Language: TypeScript - Size: 19.3 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

nstagman/clue_solver
Use Resolution to Solve a Game of Clue
Language: TypeScript - Size: 45.9 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

ningit/ctxform
Equivalence checker for contextual formulas
Language: Python - Size: 43.9 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Okwesie/Set-Savants
This project focuses on the intersection of propositional logic, set theory, and Boolean algebra. We have developed a program that enables users to convert propositional expressions—containing variables, conjunctions, disjunctions, negations, and truth values—into various forms, including dual, set notation, and Boolean expression
Language: Python - Size: 7.81 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

RaphaelBonatti/propositional-logic-truth-table-generator-python
This program generates a truth-table given a well-formed formula in propositional logic. The table can be printed to the terminal or saved as a HTML file.
Language: Python - Size: 43 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

anpotter/RBTL
A Logic of Relational Propositions
Language: Python - Size: 28.3 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

University-Project-Repos/AI__A-star_search
Language: Python - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

eZWALT/Logic-in-Information-Technology
FIB-LI 2022-23 Q1 Logics in Information Technology subject
Language: Prolog - Size: 20.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

carlos-vf/Knowledge-Representation-Algorithms
Knowledge representation algorithms for bayesian networks and propositional logic
Language: Python - Size: 1.09 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

afifabroory/SudokuAreEz-SAT
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
Language: Python - Size: 297 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

plazajan/Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
Language: Prolog - Size: 110 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DevAlencar/desafioLogica
Language: Java - Size: 30.3 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

raoulsuli/Knowledge-Management-and-Reasoning-D0034E
Knowledge Management and Reasoning Course (2023-2024)
Language: Jupyter Notebook - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ThaddeusOwl/propositional_logic_tool
Educational propositional logic tool for producing truth tables and checking logical properties.
Language: Dart - Size: 798 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

KrazyManJ/vyrologic
🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!
Language: TypeScript - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

S23-CS131-YUEN-16122/DS_Project_HarryIlanyan
Minesweeper AI
Language: Python - Size: 182 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

davidemmanuellopez/iscas85_formula_generator
A C++ utility for generate propositional non-clausal fórmulas, using iscas85 circuit specification
Language: C++ - Size: 124 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

arielfayol37/Minesweeper
AI that plays minesweeper using propositional logic.
Language: Python - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

elblasco/Logica
Logica computazionale A.A. 2022/23
Language: TeX - Size: 94.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

saky-semicolon/Propositional-Logic-in-Artificial-Intelligence
Propositional logic or sentential logic, is a fundamental component of artificial intelligence (AI) and plays a crucial role in various AI applications. It is a branch of mathematical logic that deals with logical relationships and inferences based on propositions or statements.
Language: Python - Size: 109 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

ThomasPrzybylinski/Jaunty
Research code to find similarity and local/constructive symmetries of clausal propositions or graph isomophisms
Language: Java - Size: 158 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

guiIher-me/propositional-logic-interpreter
A Propositional Logic Interpreter written in Node.js
Language: JavaScript - Size: 2.45 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

uedatakumi/propositional-logic
Propositional Logic implemented in Haskell
Language: Haskell - Size: 6.84 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

HyrniT/logic
Artificial Intelligence
Language: Python - Size: 754 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

yorkeccak/theorem-prover
🧮 Propositional and first order logic tableau, using Python. Correctly identifies the type of a propositional/first order logic formula, and identifies whether it is satisfiable, not satisfiable, or (in the case of FOL tableau) satisfiablility cannot be determined after introducing 10 new constants in the δ-expansions on any given open branch.
Language: Python - Size: 3.91 KB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Edward-Ji/LogicSolver
Step-by-step proof for equivalence in propositional logic and ND prover for first-order logic.
Language: Python - Size: 57.6 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

alisoltanirad/dialectic
Mathematical logic Implementation
Language: Python - Size: 37.1 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

zschreib1/minesweeper-ai
Wrote an AI to play Minesweeper.
Language: Python - Size: 156 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

PeronGH/X-Logic
Calculate propositional logic expression and list truth table
Language: Kotlin - Size: 71.3 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

lucasferreiraz/logisat
🧠 Classification of pathologies column using propositional logic satisfiability algorithms.
Language: Java - Size: 144 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Teu2/Inference-Engine
An inference engine made in C# for propositional logic
Language: C# - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

stuartfong1/overflow
Solver for the game Overflow using propositional logic
Language: Python - Size: 10.7 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Ziad235/SAT_Solver
This is a Python SAT Solver program that uses propositional encoding to solve the Peg Puzzle game.
Language: Python - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

sdcondon/SCPropositionalLogic
Very simple propositional logic knowledge base implementations. Includes language integration features.
Language: C# - Size: 371 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

joshuacrotts/quine-resolver
A resolver for propositional logic schemata/well-formed formulas using Quine’s method of truth value analysis.
Language: Java - Size: 192 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

shubham991999/Mastermind
Developing Mastermind Game LOGIC using C++ Programming and SAT solver
Language: C++ - Size: 1.78 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

cobbettn/TruthTables
truth table calculator
Language: JavaScript - Size: 435 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

luismarcoslc/numbermind
Guessing a secret code using Minisat22.
Language: Jupyter Notebook - Size: 248 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

totoLab/truth_tables_generator
Generates truth tables for logical expressions
Language: Python - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

efelicidario/Artificial-Intelligence
AI coursework from CSUB - Python programs (.py) that demonstrate my understanding of basic, fundamental A.I. concepts such as propositional logic (forward/backward chaining), algorithms (perceptron learning, genetic), inference, and multilayer neural networks.
Language: Python - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

alireza-mahmoodi/AI-Powered_Minesweeper
This is a Minesweeper game that is empowered by an AI.
Language: Python - Size: 2.16 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

alireza-mahmoodi/Knights_and_Knaves
A project inspired by Knights and Knaves puzzles. The goal is to find who is a liar and who is a square shooter.
Language: Python - Size: 106 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

giannhskp/Artificial-Intelligence-1
Berkeley Pacman Projects (1 and 2), Depth First Search, Breadth First Search, Uniform Cost Search ,A* Search , Heuristic Functions ,Suboptimal Search, Minimax Algorithm, Alpha-Beta Pruning, Expectimax, Constraint Santisfaction Problems, RLFA CSP problem, Propositional Logic, First-order Logic
Language: Python - Size: 3.34 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Tsu-HaoLiu/AI-Minesweeper
AI driven Minesweeper using Propositional Logic & Knowledge Inference
Language: Python - Size: 152 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

afifabroory/Propositional-Logic-Calculator
Simple Logic Calculator using Bison and Flex.
Language: C - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

MarkKoz/prop-logic
A lexer and parser for propositional formulas in propositional logic
Language: Python - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

lancejpollard/cnf.js
Convert Proposition Trees to Conjunctive Normal Form (CNF) or Disjunctive Normal Form (DNF)
Language: JavaScript - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

fgarcia0x0/pll
The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
Language: C++ - Size: 54.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

lucas-portela/ALP
Propositional Logic Theorem Prover written in JavaScript
Language: JavaScript - Size: 13.7 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

kkd26/logic_and_proof
Simple logic evaluator and prover
Language: OCaml - Size: 1000 Bytes - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

Saksham-Mehla/PropositionLogic_TheoremProver
Theorem Prover for Propositional Logic using the truth table method for formulas in Conjuntive Normal Form.
Language: Java - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

EthanOrlander/cisc-204-tool
Jape 2.0?
Language: TypeScript - Size: 175 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Vedant2311/SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Language: OCaml - Size: 67.4 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

DanielBelchamber/DiscoveringTruth
Language: JavaScript - Size: 380 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

adamdejl/pithosnd
Web-based natural deduction proof assistant
Language: JavaScript - Size: 5.52 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

martinetoering/KRR-course
Labs from the Symbolic Systems course at the University of Amsterdam, Master Artificial Intelligence (June 2020).
Language: Python - Size: 117 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

torland-klev/better-sat-solver 📦
A better sat-solver than my previous String-based sat-solver
Language: Java - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kieuconghau/pl-resolution
HCMUS - Artificial Intelligence - Lab 2: Popositional Logic - Resolution
Language: Python - Size: 1.8 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 2

ghuysmans/ml_of_ipm
PoC compiler for the Incredible Proof Machine (http://incredible.pm)
Language: OCaml - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

jul3x/LogicCourse
Few exercises with main topic of propositional logic (MIMUW course)
Language: Jupyter Notebook - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

torland-klev/sat-solver 📦
Automatically checks whether a given propositional formula is satisfiable.
Language: Java - Size: 41 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

ahmedibrahimq/pl-preprocessor
Checking the syntax structure of Propositional Logic sentences. (without regex - Challenge) (B.Sc course work)
Language: HTML - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

elizabethrysavy/PropositionalLogicGenerator
Program to generate propositional logic problems
Language: JavaScript - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

guiga-zalu/medias-relativas
More representative means
Language: JavaScript - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

javpelle/PropositionalCalculus
A basic program which can operate some propositional formulas written in Haskell
Language: Haskell - Size: 109 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
