solving

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Motion and Shape Capture from Sparse Markers

Zen is a constraint solving library for .NET

🤢 Python 🥶 Problem 🤡 Solving 🙆‍♂️ is 🤠 a 🛸 comprehensive 🍊 collection 🍏 of 🍅 Python 🫒 based 🥦 coding 🫑 challenges 🍐 algorithmic 🦞 and 🍔 logical 🍠 problem 🥭 solving 🍐 programs 🚝 crafted 🍌 to 🍋 help 🥒 learners 🍤and 🍯 developers 🚂 think 🚃 algorithmically ✈ and 🛬 code 🚁 efficiently 🛼 competitive 🚀 programming 🚢

Jigsaw puzzle solving algorithm

Rezolvări PBinfo

🎯 McK Strategic 10 Tests — AI Strategy Coach. Not a boring questionnaire. A coaching session that challenges your strategy with 10 personas and ASCII art.

حل سوالات چالش روزانه سبزلرن فرانت اند در نوروز سال ۱۴۰۲. فایل حاوی توضیحات سوالات در سه سطح و پاسخ های آن است.

List of coding challenge questions with my solutions using typescript.

A program to find the path through a network of nodes.

SAT Competition 2021

Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD

Golang wrapper of crapsolver API

This Python script automates account registrations on websites using Selenium, enabling bulk account creation for business purposes.

Rezanova CAS CLASSWIZ (or simply Rezanvoa CAS) is an open-source symbolic calculator and desktop math workbench for exact algebra, equation solving, calculus, statistics, matrices, tables, and CAS-style workflows.

A repository that contains a selection of problem solved during the preparation of several Online and Onsite Problem solving competitions

SpeedSolving Master, an application for solving the Rubik's cube. You should be familiar with the notation to understand this program.

백준 문제 푼 것들 정답

Sample Questions usually presented during interviews to check your problem solving skills.