Data

Tools

Indexes

Applications

Experiments

Open Source Science

pysathq.github.io

https://github.com/pysathq/pysathq.github.io

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic links in README
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Unable to calculate vocabulary similarity
Last synced: 10 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: pysathq
  • Language: HTML
  • Default Branch: master
  • Size: 37.9 MB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 2
  • Open Issues: 1
  • Releases: 0
Created about 8 years ago · Last pushed 11 months ago
Metadata Files
Citation

Owner

  • Login: pysathq
  • Kind: user

Citation (citation/index.html) 

<!DOCTYPE html>
<html lang="en-us">
  <head>
    
<meta name="description" content="PySAT - the power of SAT technology in Python." />
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta http-equiv="x-ua-compatible" content="ie=edge">
<script async="async" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS-MML_HTMLorMML"></script>
<script type="text/x-mathjax-config">
MathJax.Hub.Config({
  tex2jax: {
	inlineMath: [['$','$']], 
	displayMath: [['$$','$$']], 
    processEscapes: true,
    processEnvironments: true,
    skipTags: ['script', 'noscript', 'style', 'textarea', 'pre'],
    TeX: { equationNumbers: { autoNumber: "AMS" },
         extensions: ["AMSmath.js", "AMSsymbols.js"] }
  }
});
</script>

    <title>PySAT: SAT technology in Python - Citing PySAT</title>

    
    <link rel="icon" href="../images/favicon.ico" />
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Lato:400,900">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bulma@0.9.4/css/bulma.min.css">


<link rel="stylesheet" type="text/css" href="../theme-css/fresh/core.min.3997f86943b5337a6aab5eac5003a41b9a03e1159a7e779d8e99f5c1353ad503.css" integrity="sha256-OZf4aUO1M3pqq16sUAOkG5oD4RWafnedjpn1wTU61QM=">
<link rel="stylesheet" href="../css/theme-css/code-highlight.css.min.60358f6aca833402d029f1625f9d78ac9331cb988429c4541f68207cfe3894ed.css" integrity="sha256-YDWPasqDNALQKfFiX514rJMxy5iEKcRUH2ggfP44lO0=">
<link rel="stylesheet" href="../css/theme-css/content.css.min.9cd6eb8cf77772925445b567376a88573a3e3760d10b6548bbb0d9d8fadee9f2.css" integrity="sha256-nNbrjPd3cpJURbVnN2qIVzo&#43;N2DRC2VIu7DZ2Pre6fI=">
<link rel="stylesheet" href="../css/theme-css/keyfeatures.css.min.f1cec535025edc9c051477db79f3425c8f1a819ca95ddfe7c1aa7d00e67657bb.css" integrity="sha256-8c7FNQJe3JwFFHfbefNCXI8agZypXd/nwap9AOZ2V7s=">
<link rel="stylesheet" href="../css/theme-css/news.css.min.4bffc1f3e8e1dfedfa26d21423b0f206b10be408002e80d7628649afd6bb6a9d.css" integrity="sha256-S//B8&#43;jh3&#43;36JtIUI7DyBrEL5AgALoDXYoZJr9a7ap0=">
<link rel="stylesheet" href="../css/theme-css/notices.css.min.a1ba05c782ca3a59361d6e284f0c2e1ff14e5a17a87057974212c60aa30fed2c.css" integrity="sha256-oboFx4LKOlk2HW4oTwwuH/FOWheocFeXQhLGCqMP7Sw=">
<link rel="stylesheet" href="../css/theme-css/panel.css.min.d42639c23c159bedb13ee97ac0c12439a6ff5bf2e557fc976b54856abe4a616b.css" integrity="sha256-1CY5wjwVm&#43;2xPul6wMEkOab/W/LlV/yXa1SFar5KYWs=">
<link rel="stylesheet" href="../css/theme-css/posts.css.min.6d27826ef3e7467b2bc97db6a0068283b47dddb32f6bf29504911aea6c237dd7.css" integrity="sha256-bSeCbvPnRnsryX22oAaCg7R93bMva/KVBJEa6mwjfdc=">
<link rel="stylesheet" href="../css/theme-css/shortcuts.css.min.be3212556604caeb9849fba8c3971af183b6cf8dbaa121509d756f51049b5b0c.css" integrity="sha256-vjISVWYEyuuYSfuow5ca8YO2z426oSFQnXVvUQSbWww=">
<link rel="stylesheet" href="../css/theme-css/styles.css.min.f2547d534742323363c1716409b361bc024aa7fb1d6c1887d3e08dcdcf65c08b.css" integrity="sha256-8lR9U0dCMjNjwXFkCbNhvAJKp/sdbBiH0&#43;CNzc9lwIs=">
<link rel="stylesheet" href="../css/theme-css/tables.css.min.fb97ebea26ca35733dddd7051622133c047b532bf1aa066155c69a118d445803.css" integrity="sha256-&#43;5fr6ibKNXM93dcFFiITPAR7UyvxqgZhVcaaEY1EWAM=">
<link rel="stylesheet" href="../css/theme-css/teams.css.min.fcfb8db7476eab78560aefc0efcec4366740523e08279ec26c568590c69002fc.css" integrity="sha256-/PuNt0duq3hWCu/A787ENmdAUj4IJ57CbFaFkMaQAvw=">
<link rel="stylesheet" href="../css/theme-css/vars.css.min.c6b7e18ba6d6d7386c70db767cc62e0fb4d85efe064c8a18ae748c06d2c6556e.css" integrity="sha256-xrfhi6bW1zhscNt2fMYuD7TYXv4GTIoYrnSMBtLGVW4=">
<link rel="stylesheet" href="../css/theme-css/videos.css.min.a4b57fbdc20f9eef545905202e188c480604a56cb2e60febea38b297bf680c9c.css" integrity="sha256-pLV/vcIPnu9UWQUgLhiMSAYEpWyy5g/r6jiyl79oDJw=">
<link rel="stylesheet" href="../css/css/code-highlight.css.min.d789390f5a3be5bbfbc6644f3e2032dd70e92f98fd731ee24ddb28a585754a56.css" integrity="sha256-14k5D1o75bv7xmRPPiAy3XDpL5j9cx7iTdsopYV1SlY=">
<link rel="stylesheet" href="../css/css/shell.css.min.9d08034025c1e47df97be92db9c61d044d7367e064d02cb037fba4550ade2058.css" integrity="sha256-nQgDQCXB5H35e&#43;ktucYdBE1zZ&#43;Bk0CywN/ukVQreIFg=">
<link rel="stylesheet" href="../css/css/vars.css.min.70254dc445a7ece6367d8cdcd3bbdf93308c7f1e73f807ce94eb237aee34ab83.css" integrity="sha256-cCVNxEWn7OY2fYzc07vfkzCMfx5z&#43;AfOlOsjeu40q4M=">
    
    </head>
  <body>
    
    
    
<nav id="nav" class="navbar is-fresh is-transparent no-shadow" role="navigation" aria-label="main navigation">
  <div class="container is-max-widescreen">
    <div class="navbar-brand">
      
      <a class="navbar-item" href="../">
        <img class="navbar-logo" src="../images/logo-dark.svg" alt="%!s(&lt;nil&gt;) logo">
        <div class="navbar-logo-text">SAT technology in Python</div>
      </a>
      

      <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false" data-target="navbar-menu">
        <span aria-hidden="true"></span>
        <span aria-hidden="true"></span>
        <span aria-hidden="true"></span>
      </a>
    </div>

    <div id="navbar-menu" class="navbar-menu is-static">

      <div class="navbar-end">
        <a href="../installation/" class="navbar-item is-secondary">
          Installation
          
        </a>
        <a href="../docs/html/" class="navbar-item is-secondary">
          Documentation
          
        </a>
        <a href="../features/" class="navbar-item is-secondary">
          Features
          
        </a>
        <a href="../usage/" class="navbar-item is-secondary">
          Usage
          
        </a>
        <a href="../updates/" class="navbar-item is-secondary">
          Updates
          
        </a>
        <a href="../citation/" class="navbar-item is-secondary">
          Citing PySAT
          
        </a>
        <a href="../todo/" class="navbar-item is-secondary">
          To-Do
          
        </a>
      </div>
    </div>
  </div>
</nav>

<nav id="navbar-clone" class="navbar is-fresh is-transparent" role="navigation" aria-label="main navigation">
  <div class="container is-max-widescreen">
    <div class="navbar-brand">
      <a class="navbar-item" href="../">
        <img class="navbar-logo" src="../images/logo-dark.svg" alt="%!s(&lt;nil&gt;) logo">
        <div class="navbar-logo-text">SAT technology in Python</div>
      </a>


      <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false" data-target="cloned-navbar-menu">
        <span aria-hidden="true"></span>
        <span aria-hidden="true"></span>
        <span aria-hidden="true"></span>
      </a>
    </div>

    <div id="cloned-navbar-menu" class="navbar-menu is-fixed">

      <div class="navbar-end">
        <a href="../installation/" class="navbar-item is-secondary">
          Installation
          
        </a>
        <a href="../docs/html/" class="navbar-item is-secondary">
          Documentation
          
        </a>
        <a href="../features/" class="navbar-item is-secondary">
          Features
          
        </a>
        <a href="../usage/" class="navbar-item is-secondary">
          Usage
          
        </a>
        <a href="../updates/" class="navbar-item is-secondary">
          Updates
          
        </a>
        <a href="../citation/" class="navbar-item is-secondary">
          Citing PySAT
          
        </a>
        <a href="../todo/" class="navbar-item is-secondary">
          To-Do
          
        </a>
      </div>
    </div>
  </div>
</nav>


    
<section class="content-padding flex-row">
    <div class="shortcuts-container">
        <div class="shortcuts-title"><img src="../images/icons/list-bulleted.svg"/>On this page</div>
        <div id="shortcuts"></div>
    </div>
    <div class="content-container">
        <div class="columns">
            <div class="column is-centered-tablet-portrait">
                <h1 class="title section-title">Citing PySAT</h1>
                <h5 class="subtitle is-5 is-muted"></h5>
                <div class="divider"></div>
            </div>
        </div>
        <div class="post-meta">
</div>

        <div class="post-content">
          <p>If PySAT has been significant to a project that leads to an academic
publication, please, acknowledge that fact by citing PySAT:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-bibtex" data-lang="bibtex"><span class="line"><span class="cl"><span class="nc">@inproceedings</span><span class="p">{</span><span class="nl">imms-sat18</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">author</span>    <span class="p">=</span> <span class="s">{Alexey Ignatiev and Antonio Morgado and Joao Marques{-}Silva}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">title</span>     <span class="p">=</span> <span class="s">{{PySAT:} {A} {Python} Toolkit for Prototyping with {SAT} Oracles}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">booktitle</span> <span class="p">=</span> <span class="s">{SAT}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">pages</span>     <span class="p">=</span> <span class="s">{428--437}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">year</span>      <span class="p">=</span> <span class="s">{2018}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">url</span>       <span class="p">=</span> <span class="s">{https://doi.org/10.1007/978-3-319-94144-8_26}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">doi</span>       <span class="p">=</span> <span class="s">{10.1007/978-3-319-94144-8_26}</span>
</span></span><span class="line"><span class="cl"><span class="p">}</span>
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl"><span class="nc">@inproceedings</span><span class="p">{</span><span class="nl">itk-sat24</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">author</span>    <span class="p">=</span> <span class="s">{Alexey Ignatiev and Zi Li Tan and Christos Karamanos}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">title</span>     <span class="p">=</span> <span class="s">{Towards Universally Accessible {SAT} Technology}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">booktitle</span> <span class="p">=</span> <span class="s">{SAT}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">pages</span>     <span class="p">=</span> <span class="s">{4:1--4:11}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">year</span>      <span class="p">=</span> <span class="s">{2024}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">url</span>       <span class="p">=</span> <span class="s">{https://doi.org/10.4230/LIPIcs.SAT.2024.16}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl">  <span class="na">doi</span>       <span class="p">=</span> <span class="s">{10.4230/LIPICS.SAT.2024.16}</span><span class="p">,</span>
</span></span><span class="line"><span class="cl"><span class="p">}</span>
</span></span></code></pre></div>
        </div>
    </div>
  </div>
</section>




    
    <div id="backtotop"><a href="#" id="backtotop-color"></a></div>

    
    

<footer id="footer" class="footer">
  <div class="container is-max-widescreen">
    <div id="footer-columns" class="columns">
      <div class="footer-logo-column">
        <img id="footer-logo" src="../images/logo-light.svg" alt=" logo. ">
      </div>
        <div class="link-column">
          <div class="footer-column">
            <div class="footer-header">
            </div>
            <ul class="link-list">
              <li class="link-list">
                <a class="footer-link" href="../installation/">
                  Installation
                </a>
              </li>
              <li class="link-list">
                <a class="footer-link" href="../docs/html/">
                  Documentation
                </a>
              </li>
              <li class="link-list">
                <a class="footer-link" href="../features/">
                  Features
                </a>
              </li>
            </ul>
          </div>
        </div>
        <div class="link-column">
          <div class="footer-column">
            <div class="footer-header">
            </div>
            <ul class="link-list">
              <li class="link-list">
                <a class="footer-link" href="../usage/">
                  Usage
                </a>
              </li>
              <li class="link-list">
                <a class="footer-link" href="../updates/">
                  Updates
                </a>
              </li>
              <li class="link-list">
                <a class="footer-link" href="../citation/">
                  Citing PySAT
                </a>
              </li>
            </ul>
          </div>
        </div>
        <div class="footer-actions">
          

          <nav class="level is-mobile">
            <div class="social-media-icons">
              <a class="level-item" href="https://github.com/pysathq/pysat" aria-label="https://github.com/pysathq/pysat">
                





<svg class="icon github-icon" viewBox="0 0 24 24" viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path d="M12 .297c-6.63 0-12 5.373-12 12 0 5.303 3.438 9.8 8.205 11.385.6.113.82-.258.82-.577 0-.285-.01-1.04-.015-2.04-3.338.724-4.042-1.61-4.042-1.61C4.422 18.07 3.633 17.7 3.633 17.7c-1.087-.744.084-.729.084-.729 1.205.084 1.838 1.236 1.838 1.236 1.07 1.835 2.809 1.305 3.495.998.108-.776.417-1.305.76-1.605-2.665-.3-5.466-1.332-5.466-5.93 0-1.31.465-2.38 1.235-3.22-.135-.303-.54-1.523.105-3.176 0 0 1.005-.322 3.3 1.23.96-.267 1.98-.399 3-.405 1.02.006 2.04.138 3 .405 2.28-1.552 3.285-1.23 3.285-1.23.645 1.653.24 2.873.12 3.176.765.84 1.23 1.91 1.23 3.22 0 4.61-2.805 5.625-5.475 5.92.42.36.81 1.096.81 2.22 0 1.606-.015 2.896-.015 3.286 0 .315.21.69.825.57C20.565 22.092 24 17.592 24 12.297c0-6.627-5.373-12-12-12"/></svg>

              </a>
              <a class="level-item" href="https://github.com/pysathq/pysat/issues" aria-label="https://github.com/pysathq/pysat/issues">
                





<svg class="icon bug-report-icon" viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg" height="24" width="24"><path d="M12 21Q10.375 21 8.988 20.2Q7.6 19.4 6.8 18H4V16H6.1Q6.025 15.5 6.013 15Q6 14.5 6 14H4V12H6Q6 11.5 6.013 11Q6.025 10.5 6.1 10H4V8H6.8Q7.15 7.425 7.588 6.925Q8.025 6.425 8.6 6.05L7 4.4L8.4 3L10.55 5.15Q11.25 4.925 11.975 4.925Q12.7 4.925 13.4 5.15L15.6 3L17 4.4L15.35 6.05Q15.925 6.425 16.388 6.912Q16.85 7.4 17.2 8H20V10H17.9Q17.975 10.5 17.988 11Q18 11.5 18 12H20V14H18Q18 14.5 17.988 15Q17.975 15.5 17.9 16H20V18H17.2Q16.4 19.4 15.013 20.2Q13.625 21 12 21ZM12 19Q13.65 19 14.825 17.825Q16 16.65 16 15V11Q16 9.35 14.825 8.175Q13.65 7 12 7Q10.35 7 9.175 8.175Q8 9.35 8 11V15Q8 16.65 9.175 17.825Q10.35 19 12 19ZM10 16H14V14H10ZM10 12H14V10H10ZM12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Q12 13 12 13Z"/></svg>

              </a>
              <a class="level-item" href="mailto:pysathq@gmail.com" aria-label="mailto:pysathq@gmail.com">
                





<svg class="icon mail-icon" viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M22 6c0-1.1-.9-2-2-2H4c-1.1 0-2 .9-2 2v12c0 1.1.9 2 2 2h16c1.1 0 2-.9 2-2V6zm-2 0l-8 5l-8-5h16zm0 12H4V8l8 5l8-5v10z"/></svg>

              </a>
            </div>
          </nav>
          <div class="copyright">&copy; 2018-2025 Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado.
            </div>
        </div>
    </div>
  </div>
</footer>


    <script src="https://code.jquery.com/jquery-3.6.0.min.js"></script>



<script type="text/javascript" src=../js/bundle.min.js></script>
<script src="https://cdn.jsdelivr.net/npm/uikit@3.7.6/dist/js/uikit.min.js"></script>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/uikit@3.7.6/dist/css/uikit.min.css" />

<script type="text/javascript">setupShortcuts(maxLevel= 2 );</script>
<script defer data-domain="pysathq.github.io" src="https://views.scientific-python.org/js/script.js"></script>

</body>
</html>

GitHub Events

Total
  • Push event: 6
  • Fork event: 1
Last Year
  • Push event: 6
  • Fork event: 1