Beast code in Giters

Saeed Nejati's repositories

Encoding different problems into Boolean satisfiability

Language:C++11 4 1

CDCL(Crypto) SAT solver for cryptanalysis problems

Language:C++NOASSERTION9 3 1

A divide-and-conquer parallel SAT solver with machine learning based splitting heuristic.

Language:CNOASSERTION4 2 2

This repository is for experimental codes on use of Bayesian Moment Matching in SAT/MAX-SAT solvers

Language:C++2 40

An implementation of the game Reversi in flutter.

Language:Dart1 20

A web-based version of Reversi with AI

Language:JavaScript1 20

A curated list of cryptography resources and links.

NOASSERTION010

Content, code and related material for my blog

Language:HTML020

Hello World in different languages !

Language:PythonMIT010

GitHub mirror of the MapleSAT repo

Language:C++NOASSERTION010

Simple AI programs developed for different games

Language:C++020

Miscellaneous stuff

Language:Pascal020

ECE 459: Programming for Performance, Winter 2015

Language:TeX020

Buffer overflow testbed, research paper published at ACSAC 2011

Language:CMIT020

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT010

Language:JavaScript020