aayushkapoor1

Pinned Repositories

• MathUnderPressure_SoftwareComponent

  This repository contains the firmware for the Math Under Pressure game

  Language:C00

• MatrixOperations

  Language:C++00

• pblib

  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF

  Language:C++00

• PickUpSticksGame

  Language:C++00

• spezzy

  Language:C++00

• pblib

  A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF

  Language:C++164

• 3x3-MM

  Language:Python00

• SMT-SAT-GoL

  Language:Python00

aayushkapoor1's Repositories