For Boolean function minimization, is any software tool available?I need to reduce Boolean function, which have more than five literals, also it should be all time minimum.
I remember I used "Logic Friday" with good results. It's freeware (http://sontrak.com/downloads.html). Otherwise you can use Matlab, but it's more complicated (and you need a licence).
You probably mean pseudo-Boolean function (a function with Boolean parameters and real result). Any Integer Linear Programming or Mixed Integer Linear Programming packages can be used. Any pseudo-Boolean function can be linearized. Such packages are COIN-MP (free), GUROBI (for $), CPLEX (for $), GLPK (free).
If your function is linear and has up to 100000 Boolean parameters, you can use free packages like COIN-MP (COIN-OR) or GLPK.
You can use the CVX Tool:
http://cvxr.com/news/2012/08/midcp/
The website of Logic Friday (mentioned by Giuseppe Tumminelli above) is no longer available. However, it has been archived at https://web.archive.org/web/20131022021257/http://www.sontrak.com/
- Badges
- Science topic
- Similar topics
- Social Psychology
- Attitude