[Brmlab] SAT Solver

[Petr Baudis]

  Ahoj!

On Fri, Jun 15, 2012 at 03:48:07PM +0200, Stevko wrote:
> Na konferencii, kde som, maju hracku SAT solver.    
> Video: http://lipa.ms.mff.cuni.cz/~stevko/sat_solver/sat_solver.webm
> 
> Mohli by sme nieco podobne vyrobit u nas?  

  Urcite mohli! Myslim, ze bys v brmlabu snadno nasel i vsechny potrebne
soucastky.  Elegantni by bylo logicke vyrazy implementovat primo
odpovidajicimi hradly, a bylo by to i rozhodne levnejsi nez Arduino Mega
(obycejne nebude mit dost pinu), ale samozrejme pracnejsi.  Jako plocha
pro vsazovani LEDek i prepinacu se mi celkem osvedcil karton z Club Mate
krabic (o cemz svedci nas Club Mate panel ;-).  Rad pomohu radou, kdybys
se do toho pustil.

				Petr "Pasky" Baudis