hisso.li
  • Login
Show Navigation

  • Public

    • Groups

Conversation

Notices

  1. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 09:24:54 JST Q Q

    やっぱりあった
    contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats:case+ 0 of
    contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats-| _ when ans = Z3_L_TRUE => 1
    contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats-| _ when ans = Z3_L_FALSE => ~1

    In conversation Saturday, 20-Jul-2019 09:24:54 JST from pawoo.net permalink
    • Help
    • About
    • FAQ
    • Privacy
    • Source
    • Version
    • Contact

    hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.

    Switch to desktop site layout.