obijywk/grilops

a GRId LOgic Puzzle Solver library

Language: Python - Size: 1.23 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 73 - Forks: 6

ahf/binarypuzzle

Python library for solving Binary Puzzles using Z3.

Language: Python - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1

0vercl0k/z3-playground 📦

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

Language: Python - Size: 56.6 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 273 - Forks: 26

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 61.1 MB - Last synced at: 6 months ago - Pushed at: 7 months ago - Stars: 366 - Forks: 76

codersguild/Software-Analysis-PAVT

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

Language: Boogie - Size: 21.9 MB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 37 - Forks: 6

bvlj/usi_toc_sudoku_sat 📦

Z3 python3 Sudoku SAT solver

Language: TeX - Size: 22.2 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

GilbertoCunha/Computational-Logic 📦

Trabalhos Práticos da cadeira de Lógica Computacional

Language: Jupyter Notebook - Size: 998 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

mwritescode/VLSI

Solving The VLSI (Very Large Scale Integration) optimization problem using constraint programming and SMT.

Language: Python - Size: 6.24 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

alomb/CombinatorialOptimizationProject

Combinatorial Decision Making and Optimization Course Project.

Language: Python - Size: 8.2 MB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 0

AlgebraicWolf/CrackMe

Simple crackme for my groupmate

Language: C++ - Size: 398 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

alessandrostockman/cdmo-vlsi

Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)

Language: Python - Size: 859 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

Venn1998/CVRP_optimization

CVRP tackled with CP, SAT and MIP

Language: Jupyter Notebook - Size: 256 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

shafiul/N-Puzzle-Z3

Test case generation of classic N-Puzzle game using Z3

Language: Python - Size: 2.1 MB - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

OktaSecurityLabs/hack_url_re

Automatic hacking tool for URL regexes.

Language: Python - Size: 42 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 3

sarthakmittal92/unblock-car

Repository for the course project done as part of CS-228 (Logic for Computer Science) course at IIT Bombay in Spring 2022.

Language: Python - Size: 8.79 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jubnzv/gol-solver

A solver for John Conway's "Game of Life" based on z3.

Language: Python - Size: 3.91 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

vkobel/z3-shamir-secret-sharing

Implementation of Shamir Secret Sharing using Z3

Language: Jupyter Notebook - Size: 7.81 KB - Last synced at: 20 days ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1

kjproj84/JS-RCI

A novel automatic Refactoring 'Client Insourcing' (WebConf 2020)

Language: JavaScript - Size: 36 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

fnordomat/dPDA

Automaton inference from examples using z3py

Language: Python - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

greninja/CNF-Gen

Language: Python - Size: 472 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

syydev/Z3

SMT solver 기반 보안 약점 분석

Language: Python - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0