Albin Chaboissier d4e0c02b53 Merge branch 'main' of ssh://git.chaboissier.fr:222/octagonal/picolog

2026-02-12 21:00:15 +01:00

doz

Starting a CLP(Z) engine

2026-02-12 20:08:13 +01:00

src

Merge remote-tracking branch 'origin/main' into operators

2026-02-10 22:23:52 +01:00

winnow @ cc0438a28f

Adds operators

2026-02-10 15:41:56 +01:00

.gitignore

First

2026-02-08 16:34:55 +01:00

.gitmodules

Adds operators

2026-02-10 15:41:56 +01:00

1.pl

Adds not prover

2026-02-10 00:07:06 +01:00

Cargo.lock

Merge remote-tracking branch 'origin/main' into operators

2026-02-10 22:23:52 +01:00

Cargo.toml

Merge remote-tracking branch 'origin/main' into operators

2026-02-10 22:23:52 +01:00

rustfmt.toml

Adding format

2026-02-09 11:04:42 +01:00

Description

No description provided

169 KiB

Languages

Rust 99.2%

Prolog 0.8%