33 Open source projects that are alternatives of or similar to grilops

An Open Source .Net Constraint Programming Solver

Intrepyd Model Checker

A web-based sudoku solver powered by OpenCV and Go

Advanced tooling for puzzle hunts: grid/crossword parser, crossword tool to fill in the grid when entering answers, heavy-duty pattern/anagram solver, and more

A simple puzzle solver in Go

Jupyter notebooks for tutorial on the Z3 SMT solver

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Some codes i wrote to help me with me with my daily errands ;)

A simple sudoku solver

Haskell bindings to Microsoft's Z3 API (unofficial).

High performance swift implement of constraint solving algorithm cassowary

Python based sudoku generator that can create unique Sudoku board based on 4 difficulty levels. This code also includes a brute force sudoku solver that is capable of solving even the most difficult sudoku puzzles!

Automated Schedule Generation for Time-Sensitive Networks (TSN).

A puzzle game

Memory consistency modelling using Alloy

Scripts and Javascript Glue code to use Z3 in the browser using WASM

A Julia package to manage Constraint-Based Local Search (CBLS) solvers.

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

Resolver Sudoku de genina.com

This repo includes all the projects I have finished in the Udacity Nanodegree programs

Euli is not a computer game but a tool which helps you set up a real life treasure hunt

🐝 Terminal-based python clone of New York Times' puzzle game "Spelling Bee"

Using z3's never been easier (maybe)

A very fast Java Sudoku library implementation along with a command line client

⚙️ Solving sudoku using Deep Reinforcement learning in combination with powerful symbolic representations.

An interactive development environment for SMT-LIB files and Z3

🎯 This Python-based Sudoku Solver utilizes the PyGame Library and Backtracking Algorithm to visualize and solve Sudoku puzzles efficiently. With its intuitive interface, users can input and interact with the Sudoku board, allowing for a seamless solving experience.

Symbolic execution tool

Finding bugs in P4 compilers using translation validation.

A compiler for automatically re-targeting sequential Java code to Apache Spark.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

ConstraintSolver in Julia: Blog posts ->