baptiste-fourmont/dpll

Stars
2
Language
OCaml
Created about 3 years ago
Updated about 3 years ago

baptiste-fourmont/dpll

baptiste-fourmont

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.

pet-rescue-java

A clone of Petrescue Saga written entirely in Java.Adventure and points system, customizable levels, rocker and hammers, and a small BOT that helps you solve problems.

baptiste-fourmont

Actually, a little insight into my interests.

simple-bot-amazon

Simple bot Amazon, track what you want and bought it

synthese-invariant

In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2

daemon

CRON clone fully written in C. Works with FIFO, multiprocesses handling, create tasks, delete tasks, run-times exit-codes.

polish

An OCaml implementation of a programming language, Built in static analyst with constants propagations, variables, signs, calculation.

discoodle

Discoodle is a web application with the main features of Discord and Moodle. It can be used by students to chat, voice chat, check announcements, and discuss with their teachers. It has a similar interface to discord, with channels, servers, WebRTC voice and video chat.

flashcard-game

An alternative to Quizlet, it's a project in L1, it's a simple card game with answer/ response.Fully Written in PHP.

MaxInt-Protocol

An implementation of MaxInt protocol which works with TCP parallelism

Pushdown-Automaton-Lexer-Parser

Pushdown-Automaton-Lexer-Parser

visulog

A visual git repository analyzer. Will analyze any repo given and display beautiful graphs using CanvaJS. (Number of commits, percentage of commits per person, number of branches, number of commits per branch, who worked the most on the project etc)