Projects in Awesome Lists tagged with sicstus-prolog
A curated list of projects in awesome lists tagged with sicstus-prolog .
https://github.com/hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py
Last synced: 09 Apr 2025
https://github.com/triska/clpz
Constraint Logic Programming over Integers
clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog
Last synced: 20 Mar 2025
https://github.com/dhanak/ets
Electronic Tutoring System (ETS)
apache apache2 cms elixir mason sicstus-prolog
Last synced: 15 Mar 2025
https://github.com/eduribeiro00/pharmacydeliveryrouting-feup-plog
Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).
logical-programming optimization prolog sicstus-prolog vehicle-routing-problem
Last synced: 24 Mar 2025
