High level interface combining the power of software 'Prover9' by prajyot9090
Hello , The project is regarding developing a high level interface ,
which can accept the inputs from the user and use the software (PROVER9)
as algorithm. Next step is to run the inputs obtain from user into
prover9 and obtain the outputs... (Budget: $250-$750 USD, Jobs: .NET, Java,
Software Architecture, User Interface / IA)
Signup at http://goo.gl/IkC8Sg or read detail at http://goo.gl/nhYAYK
which can accept the inputs from the user and use the software (PROVER9)
as algorithm. Next step is to run the inputs obtain from user into
prover9 and obtain the outputs... (Budget: $250-$750 USD, Jobs: .NET, Java,
Software Architecture, User Interface / IA)
Signup at http://goo.gl/IkC8Sg or read detail at http://goo.gl/nhYAYK
Categories
:
