DerYeger/apollo-frontend

A web application for first-order model checking in graph structures.

Language: TypeScript - Size: 24.9 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 5 - Forks: 1

DerYeger/apollo-backend

A web application for first-order model checking in graph structures.

Language: Kotlin - Size: 5.18 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 3 - Forks: 1

ccclyu/awesome-deeplogic

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

Size: 66.4 KB - Last synced: 6 days ago - Pushed: 3 months ago - Stars: 200 - Forks: 25

cheuktingli/psitip

Python Symbolic Information Theoretic Inequality Prover

Language: Python - Size: 2.56 MB - Last synced: 16 days ago - Pushed: 4 months ago - Stars: 32 - Forks: 7

shadowbourne/first-order-logic-parser

2nd Year: 1st - 97. A full parser for first order logic, producing a parse tree (png) and a grammar containing all production rules and symbols, along with a log file.

Language: Python - Size: 826 KB - Last synced: 20 days ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

philzook58/pyeprover

A simple repackaging of the E automated theorem prover for ease of installation and execution from python

Language: Shell - Size: 1.65 MB - Last synced: 25 days ago - Pushed: 2 months ago - Stars: 1 - Forks: 0

DerYeger/apollo

A web application for first-order model checking in graph structures.

Size: 38.5 MB - Last synced: 25 days ago - Pushed: 3 months ago - Stars: 3 - Forks: 0

csunibo/logica-per-informatica

Una raccolta di risorse per l'insegnamento di Logica per l'informatica (73149) del Corso di Laurea in Informatica.

Language: Mathematica - Size: 44.3 MB - Last synced: 26 days ago - Pushed: 26 days ago - Stars: 0 - Forks: 9

Mateusz-Grzelinski/sat-research

master repo for logic formula generation

Language: Python - Size: 511 KB - Last synced: 29 days ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

Language: Python - Size: 1020 KB - Last synced: 29 days ago - Pushed: about 1 month ago - Stars: 5 - Forks: 0

alanruttenberg/lsw2

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

Language: JavaScript - Size: 179 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 25 - Forks: 1

knowsys/TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

Language: TeX - Size: 2.11 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 22 - Forks: 20

rohitanwar/Ostara

A simple automated theorem prover written in Haskell

Language: Haskell - Size: 331 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

evhub/pyprover

Resolution theorem proving for predicate logic in pure Python.

Language: Python - Size: 344 KB - Last synced: 25 days ago - Pushed: 6 months ago - Stars: 88 - Forks: 8

ztangent/Julog.jl

A Julia package for Prolog-style logic programming.

Language: Julia - Size: 202 KB - Last synced: 18 days ago - Pushed: over 1 year ago - Stars: 168 - Forks: 11

dfleta/quienesquien

Práctica do curso de especialización en Intelixencia Artificial e Big Data de Formación Profesional - IES de Teis, Modelos de Intelixencia Artificial, Búsquedas, Sistemas expertos

Language: Python - Size: 195 KB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

gonzigaran/global-spectrum

Repository for global spectrum algorithms

Language: Python - Size: 65.4 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

acl2/acl2

ACL2 System and Books as Maintained by the Community

Language: Common Lisp - Size: 1.2 GB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 336 - Forks: 96

sdcondon/SCFirstOrderLogic

Simple first-order logic implementation for .NET.

Language: C# - Size: 4.79 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 0

lambduli/resin

A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.

Language: Haskell - Size: 264 KB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

gonzigaran/folpy

First Order Logic Python Library

Language: Python - Size: 9.68 MB - Last synced: 16 days ago - Pushed: about 2 months ago - Stars: 4 - Forks: 0

joshuacrotts/logic-learning-assistance-tool 📦

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

Language: Java - Size: 4.58 MB - Last synced: 24 days ago - Pushed: almost 3 years ago - Stars: 8 - Forks: 1

machulsky61/Programming-Fundamentals

C++ implementations of fundamental algorithms taught on the course. Topics from first order logic and problem specification to time complexity. Algorithms for search and sorting, along with a testing module to verify correctness and efficiency.

Language: C++ - Size: 6.07 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Language: Scala - Size: 270 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

LHRLAB/NQE

[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".

Language: Python - Size: 6.35 MB - Last synced: about 1 month ago - Pushed: 9 months ago - Stars: 19 - Forks: 1

toda-lab/pydavid

A Python interface of Open-David, an abductive reasoner

Language: Python - Size: 502 KB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

aig-upf/tarski

Tarski - An AI Planning Modeling Framework

Language: Python - Size: 2.22 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 55 - Forks: 19

philzook58/pyvampire

A simple repackaging of the Vampire automated theorem prover

Language: Shell - Size: 20.8 MB - Last synced: 25 days ago - Pushed: 2 months ago - Stars: 1 - Forks: 0

pouriaSameti/Fundamental-AI

The Fundamentals of Artificial Intelligence Course Projects.

Language: Jupyter Notebook - Size: 13 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

yosra270/zombie-cows

Implémentation du jeu des Vaches Zombies en Prolog.

Language: Prolog - Size: 6.84 KB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

livrelogique/pravda

Pravda is a tool for teaching formal logic.

Language: TypeScript - Size: 174 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 7 - Forks: 2

sempfi/AI-HW3

Some questions about logic and inference in FOL.

Language: TeX - Size: 183 KB - Last synced: 3 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

martinsvat/Pruning-Hypotheses

Implementation of pruning hypothesis space using domain theories -- M. Svatoš, G. Šourek, F. Zeležný, S. Schockaert, and O. Kuželka: Pruning Hypothesis Spaces Using Learned Domain Theories, ILP'17

Language: Java - Size: 22.7 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

ZikangXiong/diff-spec

Differentiable Symbolic Specification

Language: Python - Size: 51.8 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 1

ai4reason/Prover9

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Language: C - Size: 1.81 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 27 - Forks: 8

srapaport/Coop-robot

Algorithm using Interpolation to determine if a 'Robot move' strategy is efficient when the goal is to gather robots on one point

Language: Python - Size: 10.7 MB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

FLHonker/Awesome-Neural-Logic

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Size: 2.41 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 127 - Forks: 19

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

MatthiasNickles/fol2asp

A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)

Language: Scala - Size: 66.4 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

fabiuslongo/ad-caspar

Python implementation of AD-Caspar (Abductive-Deductive Cognitive Architecture System Planned and Reactive)

Language: Python - Size: 4.15 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 6 - Forks: 2

urvishjarvis1/unificationalgorithm

The Prolog Unification algorithm

Language: Java - Size: 34.2 KB - Last synced: 5 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

khang200923/Predicate_Wars

A card game of first-order logic

Language: Python - Size: 354 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 1

amka66/mai

mai: MAth Interpreter with standard foundations

Language: Prolog - Size: 133 KB - Last synced: 6 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

keerthanvasist/CSCI-561-Artificial-Intelligence

Language: Java - Size: 21.5 KB - Last synced: 6 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 1

lambduli/plover

An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.

Language: Haskell - Size: 2.72 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

potassco/anthem

🎼 Translate answer set programs to first-order theorem prover language

Language: Rust - Size: 1.37 MB - Last synced: 4 days ago - Pushed: over 3 years ago - Stars: 7 - Forks: 5

aztek/atp

Haskell interface to automated theorem provers

Language: Haskell - Size: 352 KB - Last synced: 5 days ago - Pushed: over 2 years ago - Stars: 6 - Forks: 0

smaranjitghose/ParulUniversityAI

Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose

Language: Jupyter Notebook - Size: 19.9 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 16 - Forks: 5

toda-lab/pygplib

Pygplib: Python First-Order Graph Property Library

Language: Python - Size: 4.79 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

chanind/amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

Language: Python - Size: 79.1 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 8 - Forks: 0

jyhong0304/Visual-Relationship-Detection-RWFN

The official implementation of Randomly Weighted Feature Network for Visual Relationship Detection Tasks (CLeaR@AAAI2022)

Language: Python - Size: 23.4 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

PavlicLab/AAAI2022-CLeaR2022-Visual_Relationship_Detection-RWFN

The official implementation of Randomly Weighted Feature Network for Visual Relationship Detection Tasks (CLeaR@AAAI2022)

Language: Python - Size: 22.5 KB - Last synced: 4 months ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

jyhong0304/SII

The official implementation of an Insect-Inspired Randomly Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning (NeSy20/21@IJCLR)

Language: Python - Size: 253 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

Edward-Ji/logiclib

A Python library for first-order logic.

Language: Python - Size: 38.1 KB - Last synced: 20 days ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

abtsousa/ProverX-Helper-Functions

Work-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com

Language: Python - Size: 1.95 KB - Last synced: 8 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

Keerthivasan13/CSCI561_Artificial_Intelligence

Programs developed for CSCI561 Foundations of Artificial Intelligence course

Language: Python - Size: 1.54 MB - Last synced: 8 months ago - Pushed: about 4 years ago - Stars: 6 - Forks: 7

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: 8 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

hwixley/AR-Coursework1

Theorem proving in Isabelle

Language: Isabelle - Size: 587 KB - Last synced: 9 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

hahas94/WumpusAgent

Implementation of AI agents using search and logic to act.

Language: Java - Size: 97.7 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Lakshya-Kejriwal/First-Order-Logic-Inference

Language: Java - Size: 29.3 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

maxadamski/illogical 📦

Easy-to-use first order logic tools & Scala library

Language: Scala - Size: 47.9 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 5 - Forks: 2

biyaniM/csci561-hw3-First-Order-Logic-Inference

First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3

Language: Python - Size: 3.6 MB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

ltics/FOL

Predicate (First-order) Logic

Language: Haskell - Size: 13.7 KB - Last synced: 10 months ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

wko/Circumscription

An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.

Language: Prolog - Size: 316 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

joshuacrotts/masters-thesis

This is a repository for my Master's thesis LaTeX source.

Language: TeX - Size: 21.9 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

Estebans441/Motor-de-inferencia

Programa que implementa el Algoritmo de resolución por refutación.

Language: Python - Size: 45.9 KB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

Akash-Sharma-1/DNF-Generator

A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.

Language: Python - Size: 9.77 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1

DaimyoHub/sat-problem-solver

A simple k-SAT problem solver.

Language: OCaml - Size: 2.53 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

jangjunha/elementary-logic-validator

형식언어 ℒ에서 Gentzen의 추론 규칙에 따른 논증 타당성 검증기

Language: Rust - Size: 118 KB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

nclarius/pyPL

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

Language: Python - Size: 5.83 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 18 - Forks: 2

dserbano/knowledge_technology_smartnet_1

1st Project of Course 'Knowledge Technology' of the SMARTNET programme. The assignment consists in creating a knowledge-base system with support to reasoning under uncertainty using CLIPS 6.3.

Language: CLIPS - Size: 2.98 MB - Last synced: 11 months ago - Pushed: about 4 years ago - Stars: 2 - Forks: 1

alishdipani/Modified-Tic-Tac-Toe

This is Modified Tic Tac Toe game in which we change one rule which guarantees that first player always wins.

Size: 420 KB - Last synced: 11 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

elblasco/Logica

Logica computazionale A.A. 2022/23

Language: TeX - Size: 94.6 MB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

MarisaKirisame/first_order_logic_prover

Language: C++ - Size: 338 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 57 - Forks: 9

Yamamuchi/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: about 1 month ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

chanind/tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

Language: Rust - Size: 3.16 MB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 7 - Forks: 1

varmax2511/SmartFridge

A natural language understanding system that allows users to text queries or instructions

Language: Prolog - Size: 52.7 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 2

SukritiGupta/Logic

Logic for Computer Science course projects

Language: OCaml - Size: 5.33 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

armixz/AI-Knowledge-Representation

Knowledge Representation paradigm to create a simple question-answering tool.

Language: Prolog - Size: 116 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

gilith/metis

An automatic theorem prover for first order logic with equality

Language: Standard ML - Size: 609 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 27 - Forks: 1

FMFI-UK-1-AIN-412/js-fol-parser

A suite of JavaScript parsers for first-order logic languages.

Language: JavaScript - Size: 4.04 MB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 2

fabiuslongo/pycaspar

Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)

Language: Python - Size: 16.6 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

nbice1/First-Order-Logic

This project is aimed at developing a program to evaluate the truth-value of sentences in First-Order Logic and construct proofs.

Language: Python - Size: 225 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0

utahnlp/layer_augmentation

Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

Language: Python - Size: 35.8 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 40 - Forks: 5

jahnvisikligar/Artificial-Intelligence-Projects

This repository is reflection of the artificial intelligence algorithms work implemented by me under the coursework - ECS759P

Language: Jupyter Notebook - Size: 1.72 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

utahnlp/layer_augmentation_qa

Implementation of the machine comprehension model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

Language: Python - Size: 16.7 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 5 - Forks: 1

marcofavorito/pythogic 📦

A Python package for deal with logical formulas and formal systems (e.g. FOL)

Language: Python - Size: 660 KB - Last synced: 26 days ago - Pushed: over 5 years ago - Stars: 5 - Forks: 0

oelin/fol

A semantically accurate implementation of first-order logic in JavaScript 👩‍🏫.

Language: JavaScript - Size: 43.9 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

alisoltanirad/dialectic

Mathematical logic Implementation

Language: Python - Size: 37.1 KB - Last synced: 6 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

roberthoenig/FirstOrderLogic.jl

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

Language: Julia - Size: 29.3 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 17 - Forks: 7

yakuza8/first-order-predicate-logic-theorem-prover

Autonomous Theorem Prover for First Order Predicate Logic

Language: Python - Size: 104 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 8 - Forks: 3

utahnlp/consistency

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

Language: Python - Size: 12.9 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 29 - Forks: 3

mark-koch/firstorder-proof-mode

A first-order logic proof mode in Coq

Language: Coq - Size: 582 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

bori00/AI_LightsOut

Artificial Intelligence course (3rd year, 1st semester)

Language: Python - Size: 6.53 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

zeenatali5710/Wumpus

A Python 3.4 implementation of the classic game, Hunt the Wumpus where we tromp around through a cave of 20 rooms trying to hunt down a fictional creature called the Wumpus while avoiding hazards. Implemented using aima3, fol, querying the KB.

Language: Python - Size: 4.88 KB - Last synced: 5 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

FMFI-UK-1-AIN-412/formalization-checker

The front end of a tool for checking formalization exercises.

Language: JavaScript - Size: 5.91 MB - Last synced: 30 days ago - Pushed: 12 months ago - Stars: 0 - Forks: 5

antanvir/Wumpus-World

Language: Java - Size: 798 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 2 - Forks: 0

jgordon/boxer

C&C parser & Boxer

Language: C - Size: 49.2 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 4 - Forks: 1

mcifra/sokoban

Simple Sokoban solver using SAT solver Minisat

Language: Python - Size: 2.67 MB - Last synced: 12 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020

In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.

Language: TeX - Size: 5.13 MB - Last synced: 6 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0