Msat | mSAT

<!DOCTYPE html> <html lang="en-US"> <head> <meta charset='utf-8'> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width,maximum-scale=2"> <link rel="stylesheet" type="text/css" media="screen" href="/mSAT/assets/css/style.css?v=c3b8fbd6c48f638c8c03de4326c6ff559ac5b20b">  <title>Msat | mSAT</title> <meta name="generator" content="Jekyll v3.8.5" /> <meta property="og:title" content="Msat" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="A modular sat/smt solver with proof output." /> <meta property="og:description" content="A modular sat/smt solver with proof output." /> <link rel="canonical" href="https://gbury.github.io/mSAT/" /> <meta property="og:url" content="https://gbury.github.io/mSAT/" /> <meta property="og:site_name" content="mSAT" /> <script type="application/ld+json"> {"headline":"Msat","@type":"WebSite","url":"https://gbury.github.io/mSAT/","name":"mSAT","description":"A modular sat/smt solver with proof output.","@context":"https://schema.org"}</script>  </head> <body>  <div id="header_wrap" class="outer"> <header class="inner"> <a id="forkme_banner" href="https://github.com/Gbury/mSAT">View on GitHub</a> <h1 id="project_title">mSAT</h1> <h2 id="project_tagline">A modular sat/smt solver with proof output.</h2> </header> </div>  <div id="main_content_wrap" class="outer"> <section id="main_content" class="inner"> <h1 id="msat">Msat</h1> <p>Documentation:</p> <ul> <li><a href="0.8.2">0.8.2</a></li> <li><a href="0.8.1">0.8.1</a></li> <li><a href="0.8">0.8</a></li> <li><a href="0.7">0.7</a></li> <li><a href="0.6">0.6</a></li> <li><a href="0.5.1">0.5.1</a></li> <li><a href="0.5">0.5</a></li> </ul> </section> </div>  <div id="footer_wrap" class="outer"> <footer class="inner"> <p class="copyright">mSAT maintained by <a href="https://github.com/Gbury">Gbury</a></p> <p>Published with <a href="https://pages.github.com">GitHub Pages</a></p> </footer> </div> </body> </html>

CINXE.COM

Msat | mSAT