Find Jobs Find Freelancers

Home»
Freelance Jobs»
Using a SAT solver or SMT...

Private

Urgent

Using a SAT solver or SMT solver or a BDD engine, factorize the numbers

Fixed Price Project | Posted 5 years ago

$ 50

Budget

3

Proposals

5456

Views

Completed

Status

Skills Required

Java Python C++ Programming

Project Details

About the Client

Country

USA

USA

Reputation

5

Projects Paid

4

Projects Posted

2

Total Feedbacks

5

Feedbacks

5%

Total Spent

$ 458

Client Type

Individual

Member since 14 Feb, 2019

Copyright © 2024 | Truelancer.com