python project to find upward closed and downward closed min terms using sat solver with DNF input
Budget: $30 – $250 USD
I am looking for an experienced programmer to help with a project that requires finding new applications of existing algorithms for a SAT Solver. The main programming language for this project will be Python and the input format will be in Disjunctive Normal Form (DNF). The goal is to use the SAT Solver to find both upward closed and downward closed min terms. Advanced knowledge of algorithms and data structures is essential for the successful completion of this project.
The project must adhere to all of my requirements, on time and within budget. Excellent communication and documentation skills are also necessary and the candidate should be able to provide references and customer satisfaction reviews if requested.
If you have the know-how to take on this project, please get in touch to discuss further. Thank you.
The project must adhere to all of my requirements, on time and within budget. Excellent communication and documentation skills are also necessary and the candidate should be able to provide references and customer satisfaction reviews if requested.
If you have the know-how to take on this project, please get in touch to discuss further. Thank you.