luigiberducci / fosco Star 2 Code Issues Pull requests Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF). torch learner smt-solver verifier cbf z3-solver control-barrier-function counter-example-guided-synthesis learner-verifier Updated Jan 17, 2024 Python
aman247av / AI-Projects Star 1 Code Issues Pull requests This repository features AI-based game projects (Tic-tac-toe, Checkers, Sudoku solver) developed as part of the CS 235 course (optional). python tic-tac-toe pygame sudoku-solver sat-solver alpha-beta-pruning smt-solver minmax-algorithm z3-solver checkers-ai Updated Apr 26, 2023 Python
shahulmubeen-a / LinkedIN-Queens Star 0 Code Issues Pull requests Discussions A Z3 based solver for the LinkedIn's Queens puzzle python3 z3-solver Updated Sep 28, 2024 Python