GithubHelp home page GithubHelp logo

lvr-sat's People

Contributors

blazs avatar boryab avatar martinfreser avatar

Stargazers

 avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

Forkers

sandy4321

lvr-sat's Issues

Naloga 6: primeri

Primeri uporabe niso isto kot testi, saj z njimi pokažete, kako se vaša koda uporabi. Dober nabor primerov vsebuje zelo preproste primere, kakor tudi zahtevnejše.

V vašem primeru bomo uporabili primere tudi za ocenjevanje kode, zato je dobro, da s primeri pokažete, kaj vse vaša koda zna, kakor tudi česa ne zna. Objektivno poročanje o zmogljivostih kode se šteje kot velik plus.

Zaželeno, a ne nujno, je, da so primeri zares narejeni kot se šika. Vzemimo na primer sudoku, to lahko implementirate na več načinov:

Uporabnik mora v datoteki py spreminati primer na roko. Rešitev se izpiše tako, da uporabnik vidi valuacijo. Sam mora dešifrirati rešitev in iz nje sestaviti rešeni sudoku.

Uporabnik poda primer sudoku v priročni datoteki *.txt, ki jo vaš program prebere. Rešitev izpiše lepo, da uporabnik neposredno vidi rešitev. V README.md je obrazloženo, kakšen je format vhodne datoteke.

V drugem primeru je jasno, da bo primer sudoku pravzaprav samostojen programček, ki uporablja vaš SAT algoritem. Nič hudega, taki primeri so zelo dobrodošli.

Napaka v SAT solverju.

Ko pozenem src/main.py se src/sat.py usuje --- sprozi se assert False, "Nemogoce" iz vrstice 72. Lahko to preveris?

Naloga 7: vse lepo zapakirajte

Na spletni učilnici poiščem povezavo na vaš repozitorij.
Malo pogledam repozitorij (commit log, activity, issues) in ga skloniram na svoj računalnik.
Preberem README.md, da ugotovim, kaj ste naredili.
Pogledam kodo in jo poskusim razumeti, pomagam si z README.md in komentarji.
Sledim navodilom v README.md za poganjanje testov.
Zmogljivost vaše kode ocenim tako, da poženem primere. Kako se to naredi, preberem v README.md.
Če se vse zatika in če se počutim kot dresiran kužek, ki mora skakati čez obročke, da sploh karkoli začne delati, potem sem slabe volje.
Če vse leti kot namazano, sem ponosen na svoje študente.
V vsakem koraku se ocenjuje kvaliteta izdelave:

Ali ime skupina razkriva smisel za humor?
Ali kompetentno uporabljate Github?
Ali je README.md razumljiv in ali mi pomaga razumeti, kaj se dogaja?
Ali je koda taka, kot da so kure brskale po njej?
Kako pametno so izbrani testi in kako kvalitetno so izdelani?
Kako zmogljiva je vaša implementacija? Kako hitro dela (ali so mi testi povedali, kako hitro dela)?

Naloga 1

  • [NAREJENO] uredi readme (opis algoritma + linki do algoritma)
  • [NAREJENO] spisek datotek
  • navodila uporabe + kratki primeri uporabe

Garbage files

Someone is trashing our GitHub repo with empty files (sudoku.py); please remove all garbage. :-)

Naloga 3

  • ureditev datoteke (naj ne bo vse v eni datoteki)
  • loci splosno kodo, teste in primere uporabe

Kam se da TODO

Glede na to, da uporabljate Github, se TODO dela tako, da se naredi nov issue in se tja napiše, kaj je treba narediti. README je namenjen ljudem, ki pridejo pogledat, kaj to je za en projekt.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.