Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 8, 2024

• use library(lambda) to report only interesting bindings

  triska

  committed
  bd703a5

  Copy full SHA for bd703a5

• use tfilter/3 from library(reif)

  triska

  committed
  a9d6153

  Copy full SHA for a9d6153

Commits on Dec 3, 2024

• use sat_count/2 directly on the expression

  triska

  committed
  1721a0e

  Copy full SHA for 1721a0e

• adapt test cases to Scryer Prolog

  triska

  committed
  010f1fe

  Copy full SHA for 010f1fe

• adaptions for Scryer Prolog

  triska

  committed
  80bc52d

  Copy full SHA for 80bc52d

• update description for Scryer Prolog

  triska

  committed
  18b19ff

  Copy full SHA for 18b19ff

• use Scryer Prolog for the ZDD-based CLP(B) examples

  triska

  committed
  33abebe

  Copy full SHA for 33abebe

• adapt the ZDD-based implementation of library(clpb) to Scryer Prolog

  triska

  committed
  6b26316

  Copy full SHA for 6b26316

• use tfilter/3, update timings and synchronize latest changes

  triska

  committed
  3490225

  Copy full SHA for 3490225

Commits on Nov 28, 2024

• remove unneeded argument

  triska

  committed
  4450755

  Copy full SHA for 4450755

Commits on Nov 27, 2024

• Cs --> Cards

  triska

  committed
  d6011db

  Copy full SHA for d6011db

• use maplist/3

  triska

  committed
  42bdcb2

  Copy full SHA for 42bdcb2

Commits on Nov 26, 2024

• use tfilter/3 from library(reif)

  triska

  committed
  fb57284

  Copy full SHA for fb57284

Commits on Sep 10, 2023

• update answers, using the latest Scryer Prolog development version

  triska

  committed
  bae73d0

  Copy full SHA for bae73d0

Commits on Feb 12, 2023

• link to newly available Scryer Prolog homepage

  triska

  committed
  ee8a68f

  Copy full SHA for ee8a68f

• update timings, using the latest Scryer Prolog development version

  triska

  committed
  86cf00b

  Copy full SHA for 86cf00b

• use Scryer Prolog interaction

  triska

  committed
  b71b6bc

  Copy full SHA for b71b6bc

Commits on Aug 22, 2022

• update Scryer Prolog timings, using the latest development version

  triska

  committed
  0bf2110

  Copy full SHA for 0bf2110

Commits on Jul 20, 2022

• use Scryer Prolog

  triska

  committed
  77ce518

  Copy full SHA for 77ce518

Commits on Jul 5, 2022

• adapt examples to Scryer Prolog

  triska

  committed
  ad08f4b

  Copy full SHA for ad08f4b

Commits on Feb 9, 2020

• add Scryer Prolog

  triska

  committed
  702f882

  Copy full SHA for 702f882

Commits on Feb 11, 2018

• link to project page at https://www.metalevel.at/clpb/

  triska

  committed
  e0fa7bd

  Copy full SHA for e0fa7bd

• examples --> example

  triska

  committed
  7db8fbe

  Copy full SHA for 7db8fbe

Commits on May 1, 2017

• link to further logic puzzles mentioned in The Power of Prolog

  triska

  committed
  97334f1

  Copy full SHA for 97334f1

• correct interface predicate

  triska

  committed
  a989034

  Copy full SHA for a989034

Commits on Dec 17, 2016

• shorten link

  triska

  committed
  76aeae0

  Copy full SHA for 76aeae0

Commits on May 9, 2016

• use HTTPS link

  triska

  committed
  df6a8af

  Copy full SHA for df6a8af

Commits on Apr 11, 2016

• add link to BDD renderer

  triska

  committed
  f4fb233

  Copy full SHA for f4fb233

Commits on Mar 19, 2016

• use SVG link that works when viewing the file on github

  triska

  committed
  0d83b01

  Copy full SHA for 0d83b01

• ADDED: new section about implementation and BDD representation

  triska

  committed
  4043a5b

  Copy full SHA for 4043a5b

Commits on Jan 31, 2016

• update link to DCG Primer

  triska

  committed
  b088138

  Copy full SHA for b088138

Commits on Jan 30, 2016

• use atom

  triska

  committed
  39b40ee

  Copy full SHA for 39b40ee

Commits on Jan 26, 2016

• ADDED: bddcalc, a very simple calculator for BDDs

  triska

  committed
  ff72efa

  Copy full SHA for ff72efa

Commits on Dec 18, 2015

• codes --> weights

  triska

  committed
  64e9e33

  Copy full SHA for 64e9e33

Commits on Dec 16, 2015

• consistency

  triska

  committed
  317f76c

  Copy full SHA for 317f76c

Pagination

Previous

Next