triska/simsttab

Stars
21
Rank 1,050,987 (Top 22 %)
Language
Prolog
Created over 9 years ago
Updated over 1 year ago

triska/simsttab

triska

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

Simple timetabling engine for schools

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

clpb

Boolean Constraint Solving in Prolog

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