Skip to content

History

Revisions

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Feb 12, 2025
    f801a48

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Feb 12, 2025
    c2dd100

  • update link to NuGet library

    @bergren2 bergren2 committed Dec 9, 2024
    5ff48e4

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Aug 28, 2024
    609e8bf

  • Created s4_mdp (markdown)

    @moonsol124 moonsol124 committed May 5, 2024
    7efb2a5

  • Updated _Footer (markdown)

    @pankajprateek pankajprateek committed May 3, 2024
    be9ecda

  • Updated _Footer (markdown)

    @Julia-Wal Julia-Wal committed Apr 10, 2024
    c7b34d8

  • Updated _Footer (markdown)

    @iwantlogic iwantlogic committed Feb 12, 2024
    de56835

  • Anyone can edit this Wiki is hackable

    @zzzzfeng zzzzfeng committed Dec 4, 2023
    fc2118e

  • Anyone can edit this Wiki is hackable

    @zzzzfeng zzzzfeng committed Dec 4, 2023
    9cddf22

  • correct spelling of "Stack Overflow" (see https://meta.stackoverflow.com/questions/321191/how-is-stack-overflow-the-site-spelled)

    @michaelfm1211 michaelfm1211 committed Oct 19, 2023
    b5a5475

  • Mention the ruby bindings

    @riffraff riffraff committed Feb 26, 2023
    58c4295

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jan 3, 2023
    23fa71d

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jan 1, 2023
    0d2bb1c

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Dec 8, 2022
    cb6f6c5

  • Link to high-level Rust bindings rather than the low-level ones

    @BGR360 BGR360 committed Nov 17, 2022
    0046814

  • Updated Documentation (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 6, 2022
    3c54f22

  • Updated Home (markdown)

    @shafiiftikar shafiiftikar committed Jun 22, 2022
    493ef3a

  • Updated Documentation (markdown)

    @NikolajBjorner NikolajBjorner committed Sep 27, 2021
    93c211a

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Sep 27, 2021
    933b0f2

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Jul 16, 2021
    0869d8d

  • Updated _Footer (markdown)

    @crohn64 crohn64 committed May 25, 2021
    fac20d7

  • Updated _Footer (markdown)

    @crohn64 crohn64 committed May 25, 2021
    fb34de2

  • Created _Footer (markdown)

    @crohn64 crohn64 committed May 25, 2021
    44ff708

  • Add guile-z3

    @jgarte jgarte committed Mar 16, 2021
    4ac4ac2

  • Updated Home (markdown)

    @odanoburu odanoburu committed Mar 31, 2020
    d6ef022

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Nov 7, 2019
    e8cc4ba

  • Updated Home (markdown)

    @NikolajBjorner NikolajBjorner committed Nov 7, 2019
    21513cf

  • Change API documentation link to https

    @yxliang01 yxliang01 committed Oct 11, 2019
    af9e497

  • Updated Publications (mediawiki)

    @NikolajBjorner NikolajBjorner committed Sep 19, 2019
    2d6ef32