Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Mar 20 2017 14:22

    debugger22 on simplify-refine

    (compare)

  • Jan 10 2017 07:38

    debugger22 on update-year

    (compare)

  • Sep 14 2015 06:57

    debugger22 on rm-autosimp-pow

    Put number and symbol check on … (compare)

  • Aug 24 2015 07:11

    debugger22 on rm-autosimp-abs

    Fix a failing test (compare)

  • Aug 21 2015 09:36

    debugger22 on rm-autosimp-pow

    Add exception for Symbol for au… (compare)

  • Aug 21 2015 09:05

    debugger22 on to-cnf

    Disable is_cnf check (compare)

  • Aug 21 2015 08:22

    debugger22 on pycosat

    Enable testing of logic module … (compare)

  • Aug 21 2015 08:17

    debugger22 on master

    `invert_real` for sin and cos n… tests added for invert_real of … hyperbolic functions added `inv… and 127 more (compare)

  • Aug 21 2015 07:08

    debugger22 on rm-autosimp-abs

    Replace isinstance Symbol with … (compare)

  • Aug 21 2015 07:08

    debugger22 on rm-autosimp-abs

    Replace isinstace Symbol with A… (compare)

  • Aug 21 2015 07:05

    debugger22 on rm-autosimp-pow

    Add exception for Symbol for au… (compare)

  • Aug 21 2015 06:39

    debugger22 on pycosat

    Remove the map list and update … (compare)

  • Aug 19 2015 10:43

    debugger22 on pycosat

    Convert clauses to list (compare)

  • Aug 19 2015 09:05

    debugger22 on pycosat

    Merge pycosat tests with matplo… (compare)

  • Aug 19 2015 08:55

    debugger22 on pycosat

    return a generator function (compare)

  • Aug 18 2015 16:59

    debugger22 on rm-autosimp-abs

    Fix a math error in _eval_refine (compare)

  • Aug 18 2015 16:06

    debugger22 on pycosat

    return a generator function (compare)

  • Aug 18 2015 15:26

    debugger22 on rm-autosimp-pow

    Update tests (compare)

  • Aug 18 2015 15:14

    debugger22 on rm-autosimp-abs

    Rever some unnecessary modifica… (compare)

  • Aug 18 2015 14:55

    debugger22 on rm-autosimp-abs

    Fix failing test test_pow (compare)