Boolean functions minimization, Quine Mc Cluskey method.
Specification:
1. multioutput common minimization
(at least 32 outputs, more is a plus)
2. hazards free minimization
3. input variables from 4 to at least 32, more is a plus
4. can handle don't care states of each function
as well as ones and zeros
5. smart memory usage
6. heuristic calculation of minimization progress
7. Ability to cancel analyze process at any time
Input spec:
1. variables count and their names
2. minimization mode (POS(DNF) or SOP(CNF))
3. list of boolean functions(at least one).
Each function can be defined by several ways:
a. Sets (i.e. list of addresses and ranges)
b. Array of values (Full truth table)
output spec:
1. optimized list of functions
2. list of boolean equations using defined variable names
general:
1. thread safe
2. unicode support for variable names
## Deliverables
1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done.
2) Deliverables must be in ready-to-run condition, as follows (depending on the nature of the deliverables):
a) For web sites or other server-side deliverables intended to only ever exist in one place in the Buyer's environment--Deliverables must be installed by the Seller in ready-to-run condition in the Buyer's environment.
b) For all others including desktop software or software the buyer intends to distribute: A software installation package that will install the software in ready-to-run condition on the platform(s) specified in this bid request.
3) All deliverables will be considered "work made for hire" under U.S. Copyright law. Buyer will receive exclusive and complete copyrights to all work purchased. (No GPL, GNU, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site per the coder's Seller Legal Agreement).
4) implementation should be in form of non visual Delphi
component
## Platform
pure Delphi 3-7 source code,
without any external exe's, dll's, ocx's etc
and third party components.