saifkhichi96/basic-sat saifkhichi96/basic-sat

  • Stars
    star
    1
  • Language
    Python
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
saifkhichi96/basic-sat
github

saifkhichi96

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

BasicSAT is a very limited and naive SAT Solver written in Python.

More Repositories

1

paint

A minimalistic paint application for Android.
Kotlin
13
star
2

signature-extraction

Program to extract signatures from documents.
Python
12
star
3

kinect_v2-data

Source code for capturing synchronised RGB-D data with a Microsoft Kinect v2 device.
Python
2
star
4

versign-core

Signature verification tool, for performing offline signature verification using writer independent features.
Python
2
star
5

saifkhichi96.github.io

My portfolio.
HTML
1
star
6

bcsd

Data loaders and code samples for using the BCSD dataset.
Python
1
star
7

textureless_data_web

The homepage of the RGBD dataset of texture-less objects.
HTML
1
star
8

huntrek

HunTrek is an Augmented Reality (AR) based treasure hunt game developed in Android Studio.
Kotlin
1
star