About Marina
Learn about the story behind Marina SAT Solver and the team that built it.
What is Marina?
The meaning behind the name
Marina is the Malagasy word for True. This SAT solver was named to honor the Malagasy language and the concept of truth in boolean logic.
The project combines traditional SAT solving techniques with modern web technologies to provide an accessible and interactive interface for solving boolean satisfiability problems.
Technology Stack
Built with modern technologies
Backend
- OCaml - Functional programming language
- IF-expression normalization algorithm
- REST API with Flask
- Docker for API containerization
Frontend
- Next.js 16 with App Router
- TypeScript for type safety
- Tailwind CSS v4 for styling
- Framer motion and GSAP for the animation