search

shnarazk / mios

A SAT solver written in Haskell.
https://gitlab.com/satisfiability01/mios/
GNU General Public License v3.0
39 stars 3 forks source link

Discord interface #86

Closed shnarazk closed 6 years ago

shnarazk commented 6 years ago

should be removed.

shnarazk commented 6 years ago

package.yaml

  mios-bot:
    main:                mios-bot.hs
    source-dirs:         app
    when:
      - condition:       flag(bot)
        then:
          buildable:     true
        else:
          buildable:     false
    dependencies:
      - mios
      - gitrev
      - discord-hs
      - text==1.2.*
      - req