| wolfspra1l | does anyone know of a C library to normalize/simplify boolean algebra? | 04:26 |
|---|---|---|
| wolfspra1l | for example I have something like (A&B&C)|(A&B&(~C) | 04:27 |
| wolfspra1l | if my brain works that is the same as A&B, right? | 04:27 |
| wolfspra1l | anyway, so I'm looking for a library/function call that can do that kind of normalization/simplification for me. I'm probably looking for the shortest expression. | 04:27 |
| wolfspra1l | will continue googling but maybe someone has a hint ;-) | 04:28 |
| whitequark | if you find it, could you drop a link? | 04:30 |
| whitequark | *will | 04:31 |
| wolfspra1l | I'm already mentally prepared to just write it down myself for my case | 04:35 |
| wolfspra1l | because even if I can find a library, it will be a whole bunch of functions and I need to convert to and from whatever format | 04:35 |
| wolfspra1l | but since my starting algebra is relatively controlled, I think I can just write down what I need from scratch in 100 lines or so. just want to make sure I'm not reinventing something that is an easy library call somewhere... | 04:36 |
| wolfspra1l | so - hold your hopes low, I already searched and couldn't find much | 04:36 |
| whitequark | http://en.wikipedia.org/wiki/Quine%E2%80%93McCluskey_algorithm | 04:42 |
| whitequark | LOTS of implementations | 04:42 |
| whitequark | also, the problem is np-hard. don't forget that :D | 04:43 |
| wolfspra1l | ah nice! I hadn't seen that yet | 05:42 |
| Action: rzk got enough of quine algo two years ago, it was in university course | 05:50 | |
| wolfspra1l | rzk: do you remember a good simple free tool? | 05:50 |
| wolfspra1l | I'm looking at qmcs which is kinda nice but not very polished | 05:50 |
| wolfspra1l | gpl licensed, command line, short and simple | 05:50 |
| rzk | tool? I know only how to do it on paper :D thats why I got enough of it. theres some python implementations on wikipedia | 05:52 |
| wolfspra1l | yes I think it's quite simple, OK I will see how I get it implemented | 05:53 |
| wolfspra1l | very good lead to qmc though :-) | 05:53 |
| rzk | check karnaugh maps also | 05:55 |
| wolfspra1l | yes thanks, I know those | 05:55 |
| wolfspra1l | feels like stoneage, somehow | 05:56 |
| wolfspra1l | but of course, all good | 05:56 |
| wpwrak | from qmcs, this seems to be a popular algorithm: http://en.wikipedia.org/wiki/Minilog | 06:35 |
| wpwrak | s/qmcs/qmc algorithm/ even | 06:36 |
| qi-bot | [commit] Xiangfu: Add .gitignore file (master) http://qi-hw.com/p/fped/0562403 | 10:03 |
| qi-bot | [commit] Xiangfu: Switch debian/* from SVN to GIT, now build package base on git commit (master) http://qi-hw.com/p/fped/45805bd | 10:03 |
| qi-bot | [commit] Xiangfu: update debian/copyright url (master) http://qi-hw.com/p/fped/728a39f | 10:28 |
| qi-bot | [commit] Xiangfu: Update ChangeLog (master) http://qi-hw.com/p/xburst-tools/db247de | 10:36 |
| qi-bot | [commit] Xiangfu: debian/control: update email address (master) http://qi-hw.com/p/fped/7f1d484 | 12:08 |
| qi-bot | [commit] Xiangfu: update email address (master) http://qi-hw.com/p/fped/e6fa108 | 12:08 |
| wolfspraul | that looks like spam, too bad | 14:44 |
| gdm | ok, so there've been lots of little tidbits of info about SGS2 in the past few days... | 15:19 |
| gdm | my question is, what does it actually mean for end users, and what can be done about it? | 15:20 |
| gdm | is running cyanogenmod enough, or are there other patches or other things that need to be installed (as well or instead of ... )? | 15:20 |
| gdm | thanks to whoever can help :) | 15:20 |
| whitequark | gdm: join #replicant | 16:05 |
| gdm | whitequark: thanks. and should i repeat my question there? | 16:23 |
| gdm | or just lurk for a while? | 16:23 |
| whitequark | gdm: just repeat | 16:23 |
| gdm | ok, thanks :) | 16:26 |
| --- Fri Jun 22 2012 | 00:00 | |
Generated by irclog2html.py 2.9.2 by Marius Gedminas - find it at mg.pov.lt!