All Algorithms implemented in Python

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Bayesian Modeling and Probabilistic Programming in Python

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…

PyStan, the Python interface to Stan

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Pyevolve

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

An inductive logic programming system

Access to all MiniZinc functionality directly from Python

Deepcoder paper implementation

Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.

Probabilistic programming system for fast and exact symbolic inference

A Python Library for modeling combinatorial constrained problems

A CP Portfolio Solver

Code for enumeration from a CFG

Examples and Models.

🍀 A system for probabilistic reasoning in clingo

A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimizing for cyclic schedules.

A collection of problem specifications in Essence.

Tools/Scripts to convert MiniZinc/FlatZinc to Optimization Modulo Theories (OMT) for BCLT, OptiMathSAT or Z3 and Satisfiability Modulo Theories (SMT) for CVC4.

🦩 A flatzinc frontend for clingcon

Tools to build and query a database of MiniZinc challenge results

My Python solutions for Advent of Code 2023

uLearning course on Picat programming language

Useful routines for solving New Scientist Enigma (and other) Puzzles in Python

CP models for various solvers