A simple JS module for checking for collisions between two shapes
-
Updated
Apr 16, 2017 - JavaScript
A simple JS module for checking for collisions between two shapes
This is a repo for the MS Student Ambassador Technical Onboarding Process.
Solving Latin-Square & Sudoku problem by Z3-Solver and Qiskit-Solver
Incomplete code and documents explaining the mappings from Nonograms to SAT and SAT to Nonograms
SAT solver using java. Implementing few strategies like elitism, tournament, dynamic crossover andmore.
Resources about the Dynex cryptocurrency and founder Daniel Mattes AKA Sumitomo of Dynex
Digital Memcomputing Machine (DMM) based SAT-Solver
Convert your GRE score to SAT scores and vice versa! Can also break down scores section wise!
VLSI Optimization tackles the 2-D Strip Packing Problem for Very Large Scale Integration, minimizing plate height while placing rectangular circuits without overlap. It offers versatile solutions using Constraint Programming, SAT, SMT, and ILP, with options for rotation and visualization
View and try Collegeboard's SAT Question of the Day inside your desktop/laptop browser.
FIB-LI 2022-23 Q1 Logics in Information Technology subject
Add a description, image, and links to the sat topic page so that developers can more easily learn about it.
To associate your repository with the sat topic, visit your repo's landing page and select "manage topics."