ubcsat.dtompkins.com

Preview meta tags from the ubcsat.dtompkins.com website.

Linked Hostnames

6

Thumbnail

Search Engine Appearance

Google

https://ubcsat.dtompkins.com/

UBCSAT

Welcome to the (new!) UBCSAT homepage. UBCSAT is a Stochastic Local Search SAT Solver framework. It is named after the University of British Columbia, where it was developed by Dave Tompkins under the supervision of Holger Hoos. (see the about page for a longer introduction) The source code for



Bing

UBCSAT

https://ubcsat.dtompkins.com/

Welcome to the (new!) UBCSAT homepage. UBCSAT is a Stochastic Local Search SAT Solver framework. It is named after the University of British Columbia, where it was developed by Dave Tompkins under the supervision of Holger Hoos. (see the about page for a longer introduction) The source code for



DuckDuckGo

https://ubcsat.dtompkins.com/

UBCSAT

Welcome to the (new!) UBCSAT homepage. UBCSAT is a Stochastic Local Search SAT Solver framework. It is named after the University of British Columbia, where it was developed by Dave Tompkins under the supervision of Holger Hoos. (see the about page for a longer introduction) The source code for

  • General Meta Tags

    5
    • title
      UBCSAT
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • X-UA-Compatible
      IE=edge
    • referrer
      origin

  • Open Graph Meta Tags

    5
    • og:title
      UBCSAT
    • og:type
      website
    • og:url
      https://ubcsat.dtompkins.com/
    • og:description
      Welcome to the (new!) UBCSAT homepage. UBCSAT is a Stochastic Local Search SAT Solver framework. It is named after the University of British Columbia, where it was developed by Dave Tompkins under the supervision of Holger Hoos. (see the about page for a longer introduction) The source code for
    • og:image
      https://lh4.googleusercontent.com/KeYWQVx0XBruDEWvn6si2DoUib-DDi9iTO3lK7Nuzr1beN-4JrHjcrT29eWJVXPhyVhtAcceWaIt1hBIabU3slr655VUTnNm6J8KmBWh_rR9RCdXcJc5A85hwA=w16383

  • Item Prop Meta Tags

    6
    • name
      UBCSAT
    • description
      Welcome to the (new!) UBCSAT homepage. UBCSAT is a Stochastic Local Search SAT Solver framework. It is named after the University of British Columbia, where it was developed by Dave Tompkins under the supervision of Holger Hoos. (see the about page for a longer introduction) The source code for
    • url
      https://ubcsat.dtompkins.com/
    • thumbnailUrl
      https://lh4.googleusercontent.com/KeYWQVx0XBruDEWvn6si2DoUib-DDi9iTO3lK7Nuzr1beN-4JrHjcrT29eWJVXPhyVhtAcceWaIt1hBIabU3slr655VUTnNm6J8KmBWh_rR9RCdXcJc5A85hwA=w16383
    • image
      https://lh4.googleusercontent.com/KeYWQVx0XBruDEWvn6si2DoUib-DDi9iTO3lK7Nuzr1beN-4JrHjcrT29eWJVXPhyVhtAcceWaIt1hBIabU3slr655VUTnNm6J8KmBWh_rR9RCdXcJc5A85hwA=w16383

  • Link Tags

    4
    • icon
      https://ssl.gstatic.com/atari/images/public/favicon.ico
    • stylesheet
      https://fonts.googleapis.com/css?family=Lato%3A300%2C300italic%2C400%2C400italic%2C700%2C700italic&display=swap
    • stylesheet
      https://fonts.googleapis.com/css?family=Google+Sans:400,500|Roboto:300,400,500,700|Source+Code+Pro:400,700&display=swap
    • stylesheet
      https://www.gstatic.com/_/atari/_/ss/k=atari.vw.qhe1oR0uvV0.L.X.O/am=CIEBCA/d=1/rs=AGEqA5ll3Bw_QuiBoH2ykfZIQlHOPWPYfw

Emails

1

Links

14