elsoroka/Satisfiability.jl elsoroka/Satisfiability.jl

  • Stars
    star
    27
  • Rank 905,827 (Top 18 %)
  • Language
    Julia
  • License
    MIT License
  • Created over 1 year ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
elsoroka/Satisfiability.jl
github

elsoroka

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

More Repositories

1

timecrunch

timecrunch web app for course schedule visualization
JavaScript
2
star
2

AutonomousCarMPC

Code for research project on MPC for autonomous driving
Jupyter Notebook
2
star
3

StanfordAA222Project

AA222 final project on university course scheduling problem
Python
1
star