An open API service providing repository metadata for many open source software ecosystems.

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

Related Topics
logic 48 first-order-logic 26 artificial-intelligence 22 python 18 propositional-calculus 17 ai 17 sat-solver 16 natural-deduction 13 truth-table 12 theorem-prover 11 theorem-proving 10 discrete-mathematics 10 propositional-resolution 9 javascript 9 mathematics 8 machine-learning 7 math 7 logic-programming 7 java 7 predicate-logic 7 prolog 7 tsetlin-machine 7 mathematical-logic 6 boolean-logic 6 proof 6 ocaml 6 python3 5 satisfiability 5 sat 5 dpll-algorithm 5 algorithms 5 parser 5 convolution 5 truth-table-generator 5 computer-science 5 formal-logic 5 knowledge-representation 5 inference-rules 5 classical-logic 4 pattern-recognition 4 regression 4 minesweeper-game 4 cnf-clauses 4 proof-assistant 4 formal-proofs 4 minesweeper 4 fitch-proofs 4 logical-reasoning 4 satisfiability-solver 4 bandit-learning 4 frequent-pattern-mining 4 resolution 4 depth-first-search 3 constraint-satisfaction-problem 3 alpha-beta-pruning 3 proof-checker 3 hcmus 3 agents 3 intuitionistic-logic 3 bayesian-network 3 wumpus-game 3 linear-temporal-logic 3 formal-languages 3 bfs-algorithm 3 prover 3 inference-engine 3 haskell 3 problem-solving 3 julia 3 sequent-calculus 3 proof-checking 3 logical-programming 3 logical-operators 3 puzzle-solver 3 proof-system 3 analytic-tableaux 3 calculator 3 rule-based 3 cnf 3 coq 3 inference 3 educational-project 3 css 3 html 3 automata 3 rust 3 proposition 3 model-checking 3 teaching 3 regular-expression 2 python-3 2 propositional-proof-system 2 fitch 2 lisp-inference 2 philosophical-logic 2 interpretable-machine-learning 2 lcf-style 2 proof-theory 2 a-star 2 knights-and-knaves 2