negarhonarvar/SAT-optimized-solver

Stars
1
Language
Jupyter Notebook
License
GNU General Publi...
Created over 1 year ago
Updated over 1 year ago

negarhonarvar/SAT-optimized-solver

negarhonarvar

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

an SAT problem solver optimized with simulated annealing and genetics algorithm

Snappfood-with-Flutter

An implementation of snappfood with flutter for frontend design and java for backend, check food_ordering repository for complete project

Single-Cycle-processor

this project is implementation of a single cycle processor based on commands and flags setting disscussed by Harris and Harris computer architecture book

Statics-and-probability-

a list of data analysis based projects worked on in Statics and probability course

SquareWave-and-Sawthooth-waveform

in this codes we implemet a simple square wave and saw thooth waveform using MATLAB

Computer-Vision

Small Projects done during the computer vision course instructed by dr. Naderi

Jupyter Notebook

git-hw

this project includes a simple java code, this repository is created for working with git commands

Computer-architecture-

DoodleJump

a simple doodle jump in 80x86 assembly

TaskManager

a simple task manager in c++

Microprocessor-laboratory-

a complete list of Microprocessor and assmbley language course projects

mergeSort

implementation pf merge sort algorithm using mips assembly

HangMan

a simple java hangman game

DSD

a complete collection of projects done for Digital systems design course

Memory-Management-

Memory management project for OS course

Bug-Algorithms

Implementation of Bug1 , Bug2 and Wall following algorithms for GCTronic' e-puck

Guidance-of-a-Quadcopter-for-Object-Detection

Designed a controller for a quadcopter in order to control its flight over a number of boxs in urban environment for object detection.

Jupyter Notebook

Finding-the-closest-bank

final project af data structure course