Re: [Brmlab] SAT Solver

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