triska/clpb

Stars
31
Rank 795,735 (Top 17 %)
Language
Prolog
Created almost 10 years ago
Updated 8 months ago

triska/clpb

triska

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

Boolean Constraint Solving in Prolog

the-power-of-prolog

Introduction to modern Prolog

clpz

Constraint Logic Programming over Integers

clpfd

Constraint Logic Programming over Finite Domains

lisprolog

Interpreter for a simple Lisp. Written in Prolog.

ediprolog

Emacs Does Interactive Prolog

letswicrypt

Prolog HTTPS Servers

simsttab

Simple timetabling engine for schools

bitcoinolog

Reason about Bitcoin addresses with Prolog

proloxy

Prolog Reverse Proxy

trs

Reason about Term Rewriting Systems

presprover

Prove formulas of Presburger Arithmetic

scc

Strongly Connected Components of a Graph