- Log in
- Sign up

Join a hackathon

Devpost

Participate in our public hackathons

Hackathons Projects

Devpost for Teams

Access your company's private hackathons

Host a hackathon

Devpost

Grow your developer ecosystem and promote your platform

Host a public hackathon

Devpost for Teams

Drive innovation, collaboration, and retention within your organization

Host an internal hackathon

By use case

AI hackathons Customer hackathons Employee hackathons Public hackathons

Blog

Insights into hackathon planning and participation

Customer stories

Inspiration from peers and other industry leaders

Planning guides

Best practices for planning online and in-person hackathons

Webinars & events

Upcoming events and on-demand recordings

Help desk

Common questions and support documentation

Join a hackathon
- Devpost
  
  Participate in our public hackathons
  
  Hackathons Projects
  
  Devpost for Teams
  
  Access your company's private hackathons
  
  Login
Host a hackathon
- Devpost
  
  Grow your developer ecosystem and promote your platform
  
  Host a public hackathon
  
  Devpost for Teams
  
  Drive innovation, collaboration, and retention within your organization
  
  Host an internal hackathon
  
  By use case
  AI hackathons Customer hackathons Employee hackathons Public hackathons
Resources
- Blog
  
  Insights into hackathon planning and participation
  
  Customer stories
  
  Inspiration from peers and other industry leaders
  
  Planning guides
  
  Best practices for planning online and in-person hackathons
  
  Webinars & events
  
  Upcoming events and on-demand recordings
  
  Help desk
  
  Common questions and support documentation

Log in
Sign up

3SAT_3649

3Sat - Solver DPLL Algorithm

Comment

Story
Updates

Michael S Walker posted an update — Feb 18, 2019 03:13 PM EST

Log in or sign up for Devpost to join the conversation.

Devpost

About
Careers
Contact
Help

Hackathons

Browse hackathons
Explore projects
Host a hackathon
Hackathon guides

Portfolio

Your projects
Your hackathons
Settings

Connect

Twitter
Discord
Facebook
LinkedIn

© 2026 Devpost, Inc. All rights reserved.

Community guidelines
Security
CA notice
Privacy policy
Terms of service