yaelwb/FlashCards2014
An iOS 7 version of my Flash Card iPad app, with a new and improved design
Public GitHub Catalog
Discovered Sep 26, 2026
yaelwb / SatSolver
My final project for the VLSI Lab during my B.Sc. degree (Spring of 2006). Bounded Model Checking (BMC) approach to solve a cnf Formula Satisfiability problem (SAT). A SAT Solver is a software tool solving a hardware problem - the logic formula represents a circuit design.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7324532GitHub System ID
yaelwbOrganization / User
PublicVisibility
ActiveCatalog Status
More from yaelwb
yaelwb/FlashCards
Hackathon project
yaelwb/JavaSpaceServer
A project for parallel and distributed programming course (Spring of 2004). An objects storage server, following the principles of "JavaSpace" - http://javaspaces.homestead.com, supplying read, write, take and notify actions.
yaelwb/CodeExercises
Solutions to problems and puzzles